可付番集合とも言う

可算集合の濃度をアレフゼロℵ0を用いて\alef_0で表す

つまり|\mathbb{N}|=\alef_0

定義

\mathbb{N}と濃度が等しい集合のことを可算集合と言う

有限集合との対応が中途半端感がある

有限集合は\mathbb{N}より濃度は小さいが可算集合の一種とみなすらしい ref