Successor ordinal (source code)

= Successor ordinal
{wiki}

The successor of an ordinal $\alpha$ is $\alpha+1=\alpha\cup\{\alpha\}$.