Regular cardinal

In set theory, a regular cardinal is a cardinal number that is equal to its own cofinality. More explicitly, this means that is a regular cardinal if and only if every unbounded subset has cardinality . Infinite well-ordered cardinals that are not regular are called singular cardinals. Finite cardinal numbers are typically not called regular or singular. In the presence of the axiom of choice, any cardinal number can be well-ordered, and then the following are equivalent for a cardinal : is a regular cardinal. If and for all , then . If , and if and for all , then . The of sets of cardinality less than and all functions between them is closed under colimits of cardinality less than . is a regular ordinal (see below) Crudely speaking, this means that a regular cardinal is one that cannot be broken down into a small number of smaller parts. The situation is slightly more complicated in contexts where the axiom of choice might fail, as in that case not all cardinals are necessarily the cardinalities of well-ordered sets. In that case, the above equivalence holds for well-orderable cardinals only. An infinite ordinal is a regular ordinal if it is a limit ordinal that is not the limit of a set of smaller ordinals that as a set has order type less than . A regular ordinal is always an initial ordinal, though some initial ordinals are not regular, e.g., (see the example below). The ordinals less than are finite. A finite sequence of finite ordinals always has a finite maximum, so cannot be the limit of any sequence of type less than whose elements are ordinals less than , and is therefore a regular ordinal. (aleph-null) is a regular cardinal because its initial ordinal, , is regular. It can also be seen directly to be regular, as the cardinal sum of a finite number of finite cardinal numbers is itself finite. is the next ordinal number greater than . It is singular, since it is not a limit ordinal. is the next limit ordinal after . It can be written as the limit of the sequence , , , , and so on.