Singular cardinal (source code)

= Singular cardinal
{title2=$\operatorname{cf}(\kappa)<\kappa$}

An infinite <cardinal number> $\kappa$ is singular when $\operatorname{cf}(\kappa)<\kappa$. Thus a short <cofinal function> reaches arbitrarily high ordinals below $\kappa$. For example, $\aleph_\omega$ has <cofinality> $\omega$. The complementary case is a <regular cardinal>.