Less than or equal relation is transitive.

Proof.
By the transitivity of (Theorem I.17), we have that if and , then .
Then, if and we have by substitution.
If and , then by substitution.
If and , then by transitivity of the relation. Hence, by definition of .
Thus, in all cases and implies