höchstens abzählbare Menge

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 Elemente der Menge also „durchnummeriert“ werden können. Zu den höchstens abzählbaren Mengen zählen neben den abzählbar unendlichen Mengen auch die endlichen Mengen. Die Verwendung des Begriffes abzählbar ist nicht einheitlich. Er kann je nach Definition sowohl abzählbar unendlich als auch höchstens abzählbar bedeuten. Eine nichtleere Menge, die weder endlich noch abzählbar unendlich ist, wird als überabzählbar bezeichnet. Die Mächtigkeit einer abzählbar unendlichen Menge wird – als Kardinalzahl – mit (gesprochen: alef null) bezeichnet, etwa gilt . Zu dieser Bezeichnung siehe auch Aleph-Funktion.