Megszámlálhatóan végtelen számosság

1. Sablon:Humatek Az ${\mathbb{N}}_0$ halmaz számosságát megszámlálhatóan végtelen számosságnak nevezzük. Egy $A$ halmaz számossága megszámlálhatóan végtelen, ha az $A$ halmaz elemeit fel tudjuk sorolni egy végtelen sorozatban.
   • Ha A és B megszámlálhatóan végtelen számosságú, akkor
   • $A\cup B$ is megszámlálhatóan végtelen számosságú.
   • $A\times B$ is megszámlálhatóan végtelen számosságú.
   • A-hoz véges sok elemet hozzáadva is megszámlálhatóan végtelen számosságú halmazt kapunk.
   • Ha $A_0,A_1,\dots ,A_n,\dots$ megszámlálhatóan végtelen számosságú halmazok, akkor

   $\bigcup _{n=0}^{\mathrm{\infty }}{A}_n$ is megszámlálhatóan végtelen számosságú halmaz.

• Sablon:En: Sablon:T, enumerable