D無限集

D無限集(D-infinite set)一種無限集.若存在集合A到自己的真子集的雙射，則稱A為D無限集.任何一個集合不是D有限集就是D無限集.例如自然數集是D無限集.}A}}}。的集合A是D無限的.一個集合是D無限的，若且唯若它有一個可數無窮子集.若A是D無限集，則:}(:}(A))是D無限的.沒有選擇公理時，無限與D無限兩個概念不等價.即存在無限集，但它不是D無限集.