Eine andere Definition bezeichnet solche Mengen als unendlich, die eine zur Menge der natürlichen Zahlen gleichmächtige Teilmenge enthalten; beide Definitionen sind äquivalent, falls man das Auswahlaxiom voraussetzt.