Jump to content

Ordered field/Elementary properties for inverses/Fact

From Wikiversity

In an ordered field, the following properties holds.

  1. From one can deduce .
  2. From one can deduce .
  3. For we have if and only if .
  4. From one can deduce .
  5. For positive elements the relation is equivalent with .