เรื่องนี้มีเรียนตั้งแต่ ม.4 แล้วไม่ใช่เหรอครับ
1. เราแบ่งเซตอนันต์แบบหยาบๆได้เป็น 2 ชนิด คือ
1.1 แบบนับได้ (countably infinite) เช่น $\mathbb N, \mathbb Z, \mathbb Q$, เซตของจำนวนเฉพาะ
1.2 แบบนับไม่ได้ (uncountably infinite) เช่น $\mathbb R$, $\mathbb C$, $(0,1]$, เซตของจำนวนอตรรกยะ
2. เซตที่นับได้ (countable) มี 2 ชนิด คือ
2.1 เซตจำกัด (finite) เช่น $\{1,2,3\}$
2.2 เซตอนันต์แบบนับได้ ซึ่งก็คือประเภท 1.1 นั่นเองครับ