Equivalence of Definitions of Order Embedding

Theorem
The following definitions of order embedding are equivalent:

Proof
Let $\left({S, \preceq_1}\right)$ and $\left({T, \preceq_2}\right)$ be ordered sets.

Let $\phi: S \to T$ be a mapping.