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.