Initial ordinal (source code)

= Initial ordinal
{wiki}

An initial ordinal is an ordinal not equinumerous with any smaller ordinal. It is therefore the canonical ordinal representative of a cardinal.