section_heading: Alef-α za opći α
paragraph_text: Kako bi se definirao alef-α za proizvoljan ordinalan broj α, mora se definirati operacija kardinala sljedbenika, koja proizvoljnom kardinalnom broju ρ dodjeljuje sljedeći veći dobro uređen kardinal <math>\rho^+</math>. (Ako vrijedi aksiom izbora, tada je ovo sljedeći veći kardinal.)