Identity Mapping is Order Isomorphism/Proof 2

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.

Proof
An ordered set is a relational structure where order isomorphism is a special case of relation isomorphism.

The result follows directly from Identity Mapping is Relation Isomorphism.