Ordered field/Elementary properties/3/Fact
In an ordered field, the following properties hold.
- .
- holds if and only if holds.
- holds if and only if holds.
- holds if and only if holds.
- and imply .
- and imply .
- and imply .
- and imply .
- and imply .
- and imply .