# Proof

We first show that the order relation for real numbers "$< `$" is a trichotomy.

• Let $x,y\in \mathbb R$ be any real numbers represented by the equivalence classes of some rational Cauchy sequences $(x_n)_{n\in\mathbb N}+ I$ and $(y_n)_{n\in\mathbb N}+ I$.
• It follows from the definition of the order relation for real numbers that
• $x < y$ is equivalent to $x-y < 0$, which is equivalent to the existence of some $N\in\mathbb N$ such that $x_n-y_n < 0$ for all $n > N$.
• $x > y$ is equivalent to $x-y > 0$, which is equivalent to the existence of some $N\in\mathbb N$ such that $x_n-y_n > 0$ for all $n > N$.
• $x = y$ is equivalent to $x-y = 0$, which is equivalent to $(x_n-y_n)_{n\in\mathbb N}$ being a rational Cauchy sequence converging to $0$.
• Please note that in the terms $x_n-y_n < 0$ and $x_n-y_n > 0$ we have reduced the order relations of real numbers "$x < y$" and "$x > y$" to the order relations of rational numbers "$x_n < y_n$" and "$x_n > y_n$", respectively.
• Therefore, from the trichotomy of the order relation for rational numbers, the trichotomy for the order relation for real numbers follows.
• Therefore, for any two given real numbers $x,y$, only one of the following cases can occure at once:
• Either $x=y$, or
• $x > y$, or
• $x < y.$

Now, we show the transitivity.

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

Github: