Definition: Abzählbar unendliche Menge

Sei eine Menge.

Wir bezeichnen als abzählbar unendlich, wenn gilt:

Endliche Mengen sind damit nicht abzählbar unendlich