Well-order code
= Well-order code
A well-order code is a <binary relation> $R\subseteq\omega\times\omega$ for which $(\omega,R)$ is a <well-order>. Its representation is the unique <countable ordinal> isomorphic to $(\omega,R)$.
= Well-order code
A well-order code is a <binary relation> $R\subseteq\omega\times\omega$ for which $(\omega,R)$ is a <well-order>. Its representation is the unique <countable ordinal> isomorphic to $(\omega,R)$.