Successor cardinal (source code)

= Successor cardinal
{wiki=Successor_cardinal}

In set theory, a successor cardinal is a type of cardinal number that is directly greater than a given cardinal number.