Cardinal límite

es un cardinal límite débil, definido como la unión de todos los álef más pequeños que él (recuérdese que un número cardinal puede concebirse como un conjunto transitivo); y en general

La función ב puede usarse para obtener cardinales límite fuertes.

Esta función se define como una aplicación de los ordinales en los cardinales mediante la siguiente definición recursiva: El cardinal es un cardinal límite fuerte de cofinalidad ω.

Más en general, dado cualquier ordinal α, el cardinal es un cardinal límite fuerte.

Y por tanto, existen cardinales límite fuerte arbitrariamente grandes.