Real Number Ordering is Transitive

Theorem
The usual ordering on the real numbers is a transitive relation.

Let $a, b, c \in \R$ such that $a < b$ and $b < c$.

Then:
 * $a < c$

Proof
Follows from the definition of a strict total ordering.