Ordered field/Elementary properties for inverses/Fact
Appearance
In an ordered field, the following properties holds.
- From one can deduce .
- From one can deduce .
- For we have if and only if .
- From one can deduce .
- For positive elements the relation is equivalent with .