Proof

(related to Proposition: Order Relation for Integers is Strict Total)

Let $x,y,z\in \mathbb Z$ be any integers. We first show the trichotomy of the order relation for integers "$ < `$".

Now, we shot the transitivity.

The transitivity of the relations "$>$", "$\ge$", and "$\le$" follows analogously.


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

Github:
bookofproofs