可算集合
countable set
可付番集合
とも言う
可算集合の
濃度
を
アレフゼロℵ0
を用いて
$ \alef_0
で表す
つまり
$ |\mathbb{N}|=\alef_0
定義
$ \mathbb{N}
と
濃度
が等しい集合のことを可算集合と言う
有限集合
との対応が中途半端感がある
mrsekut.icon
有限集合は
$ \mathbb{N}
より濃度は小さいが可算集合の一種とみなすらしい
ref