Equivalence of Definitions of Ordering

Theorem
The following definitions of ordering are equivalent: