Order Axioms

• Trichotomy: exactly one of these holds: , ,
• Transitivity:
• Operation with addition:
• Operation with mutliplication:

Definitions

Triangular inequalities

Proof Hint

For first:

• Use

For second:

• Use the below substitutions in first conclusion

Required proofs

• Triangular inequalities

Theorems

Caution

is not valid.