D无限集(D-infinite set)一种无限集.若存在集合A到自己的真子集的双射,则称A为D无限集.任何一个集合不是D有限集就是D无限集.例如自然数集是D无限集.}A}}}.的集合A是D无限的.一个集合是D无限的,当且仅当它有一个可数无穷子集.若A是D无限集,则:}(:}(A))是D无限的.没有选择公理时,无限与D无限两个概念不等价.即存在无限集,但它不是D无限集. [1] 参考资料 1. 何思谦.数学辞海:山西教育出版社,2002