Definition 4.7.1.7 (Ordinals). An ordinal is an isomorphism class of well-ordered sets. If $(S, \leq )$ is a well-ordered set, then its isomorphism class is an ordinal which we will refer to as the order type of $S$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$