無限集

如果一個集合的元素的真子集可以與的元素建立一一對應，則稱該集合是無限的。如果一個無限集的元素可以與整數集建立一一對應，則稱該集合是可數無限的；否則，稱其為不可數無限的。