Corollary 4.7.1.16. Let $(S, \leq )$ and $(T, \leq )$ be well-ordered sets. If there exists an order-preserving bijection $f: S \xrightarrow {\sim } T$, then $f$ is unique.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Corollary 4.7.1.16. Let $(S, \leq )$ and $(T, \leq )$ be well-ordered sets. If there exists an order-preserving bijection $f: S \xrightarrow {\sim } T$, then $f$ is unique.