Proposition: Order Relation for Real Numbers is Strict and Total
This order relation for real numbers defines a strict total order on the set of real numbers \(\mathbb R\), i.e.:
- For any two elements \(x,y\in\mathbb R\) we have either \(x < y\) or \(y < x\) or \(x = y\) (but never more than one of these possibilities at the same time) trichotomy)
- If \(x < y\) and \(y < z\) then \(x < z\) transitivity)
- If \(x < y\) and \(y < z\) then \(x < z\) transitivity)
Table of Contents
Proofs: 1
Mentioned in:
Explanations: 1
Parts: 2
Sections: 3
Thank you to the contributors under CC BY-SA 4.0!
![](https://github.com/bookofproofs/bookofproofs.github.io/blob/main/_sources/_assets/images/calendar-black.png?raw=true)
- Github:
-
![bookofproofs](https://github.com/bookofproofs.png?size=32)