Limit cardinal (source code)

= Limit cardinal

An infinite <cardinal number> is a limit cardinal if it is not a <successor cardinal>; equivalently it is an <aleph number> with zero or a <limit ordinal> as index. Uncountable limit cardinals are either <singular cardinals> or <weakly inaccessible cardinals>. This concerns succession among cardinals, rather than merely being a <limit ordinal>.