In der
Mengenlehre wird eine Menge
als
abzählbar unendlich bezeichnet, wenn sie die gleiche
Mächtigkeit hat wie die Menge der
natürlichen Zahlen . Dies bedeutet, dass es eine
Bijektion zwischen
und der Menge der natürlichen Zahlen gibt, die Menge
also „durchnummeriert“ werden kann.