A Cardinal is called regular if where is as in Cofinal. Lemma A Cardinal is regular if and only if for any , is not the union of many sets of cardinality . Lemma Assuming Axiom of Choice, all successor cardinals are regular.