Definition: Ordered Field

We say a field $(F, +, \cdot)$ is ordered, if there exists a strict total order "$<$" on $F$ that fulfills the two properties:

  1. from \(a > b\) it follows \(a+c > b+c\) (for arbitrary \(c\in F\)),
  2. from \(a > 0\) and \(b > 0\) it follows \(a\cdot b > 0\).

We call * $a > 0$ positive, * $a < 0$ negative, * $a\ge 0$ non-negative, * $a\le 0$ non-positive.

Examples

Counterexamples

Axioms: 1
Definitions: 2 3
Proofs: 4
Propositions: 5 6 7


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs
non-Github:
@Brenner


References

Adapted from CC BY-SA 3.0 Sources:

  1. Brenner, Prof. Dr. rer. nat., Holger: Various courses at the University of Osnabrück