ついでにいっておくと、
可算無限集合というのは集合ではない。

なぜなら集合というのは閉じていなければならないからである。
可算無限集合は閉じていない。

だから可算無限集合は集合とはいえない。