Identity Mapping is Order Isomorphism

Theorem
Let $\struct {S, \preceq}$ be an ordered set.

The identity mapping $I_S$ is an order isomorphism from $\struct {S, \preceq}$ to itself.