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