Regular cardinal (source code)

= Regular cardinal
{wiki}

An infinite cardinal $\kappa$ is regular when its cofinality is $\kappa$.