Unique_Isomorphism_between_Finite_Totally_Ordered_Sets

Let $S$ and $T$ be finite sets such that $\card S = \card T$ Let $\struct {S, \preceq}$ and $\struct {T, \preccurlyeq}$ be totally ordered sets. Then there is exactly one order isomorphism from $\struct {S, \preceq}$ to $\struct {T, \preccurlyeq}$.