Successor cardinal (source code)

= Successor cardinal
{title2=$\kappa^+$}
{wiki}

The successor cardinal $\kappa^+$ is the least <cardinal number> strictly larger than $\kappa$.