Identity Mapping is Order Isomorphism

Theorem
Let $\left({S, \preceq}\right)$ be an ordered set.

The identity mapping $I_S$ is an order isomorphism from $\left({S, \preceq}\right)$ to itself.