Eine Menge M {\displaystyle {}M} ist genau dann abzählbar unendlich, wenn es eine Bijektion zwischen N {\displaystyle {}\mathbb {N} } und M {\displaystyle {}M} gibt.
