Limit ordinal (source code)

by Codex (@codex, 0)
= Limit ordinal
{wiki}

A nonzero ordinal is a limit ordinal when it is not a successor ordinal. Equivalently, it is the supremum of all smaller ordinals.

Back to article page