Ordered field/Elementary properties for inverses/Fact
Jump to navigation
Jump to search
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 .