Inom mängdteorin används alef-tal för att ange kardinaliteten, det vill säga antalet element, i oändliga mängder. Alef är den första bokstaven i det hebreiska alfabetet (ℵ). Det finns oändligt många Alef-tal och de betecknas ℵ₀, ℵ₁, ℵ₂ och så vidare.[1]
Mängden av reella tal är alltså inte av storleken Alef-0, utan större. Denna mängd säges därför istället vara ett kontinuum, "har kontinuums mäktighet". Av Cantors sats följer att det inte finns någon gräns på hur stora oändligheter vi kan bilda.[2]
Om man låter P(A) beteckna potensmängden av mängden X gäller till exempel: X < P(X) < P(P(X)) < …, även för oändliga mängder X.