จะเรียก $A$ ว่าเป็นเซตอนันต์นับได้ ถ้าสามารถหาฟังก์ชันหนึ่งต่อหนึ่งและทั่วถึง $f:\mathbb{N}\rightarrow A $ ได้
ตัวอย่างที่ชัดเจน คือเซตของจำนวนนับ $\mathbb{N}= \{ 1, 2, 3, ... \} $
เซตของจำนวนตรรกยะ $\mathbb{Q}$
__________________
PaTa PatA pAtA Pon!
|