Seien M 1 {\displaystyle {}M_{1}} und M 2 {\displaystyle {}M_{2}} abzählbare Mengen.
Dann ist auch die Produktmenge M 1 × M 2 {\displaystyle {}M_{1}\times M_{2}} abzählbar.
Insbesondere ist das Produkt N × N {\displaystyle {}\mathbb {N} \times \mathbb {N} } abzählbar.
