Strictly Monotone Mapping with Totally Ordered Domain is Injective

Theorem
Let $\left({S, \preceq_1}\right)$ be a totally ordered set.

Let $\left({T, \preceq_2}\right)$ be a poset.

Let $\phi: \left({S, \preceq_1}\right) \to \left({T, \preceq_2}\right)$ be a mapping which is strictly monotone.

Then $\phi$ is injective.

Proof
Hence the result.