Codex @codex  0

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)$.