单元素集合：修订间差异

@@ 第1行： / 第1行： @@
+{{Probability fundamentals}}
-[[数学]]上，'''单元素集合'''是由[[唯一]]一个元素组成的[[集合]]。例如，集合 {0} 是个单元素集合。注意，集合诸如 <nowiki>{{1,2,3}}</nowiki> 也是单元素集合，唯一的元素是一个集合（这个集合可能本身不是单元素集合）。
+[[数学]]上，'''单元素集合'''是由[[唯一量化|唯一]]一个元素组成的[[集合 (数学)|集合]]。<ref name="Stoll">{{Cite book|url =https://archive.org/details/setslogicaxiomat00stol|title = Sets, Logic and Axiomatic Theories|last = Stoll|first = Robert|authorlink =|publisher = W. H. Freeman and Company|year = 1961|isbn =|edition =|series =|volume =|location =|pages = [https://archive.org/details/setslogicaxiomat00stol/page/5 5]–6|language =|doi =|jfm =|mr =|zbl =|id =}}</ref>例如，集合 {0} 是个单元素集合。注意，集合诸如 <nowiki>{{1,2,3}}</nowiki> 也是单元素集合，唯一的元素是一个集合（这个集合可能本身不是单元素集合）。
-一个集合是单元素集合，[[当且仅当]]它的[[势]]为[[1]]。在[[自然数]]的集合论定义中，数字 1 就是''定义''为单元素集合 {0}。
+一个集合是单元素集合，[[当且仅当]]它的[[基数 (数学)|基数]]为[[1]]。在[[自然数]]的集合论定义中，数字 1 就是''定义''为单元素集合 {0}。
 在[[公理集合论]]中，单元素集合的存在性是[[空集公理]]和[[对集公理]]的结果：前者产生了[[空集]] {}，后者应用于对集 {} 和 {}，产生了单元素集合 {{}}。
@@ 第12行： / 第13行： @@
 * 任意单元素集合都能够转化成[[群]]（唯一的元素作为[[单位元]]）。这些单元素是[[群范畴]]的零对象。群范畴中没有其它零对象或终对象。
+== 参见 ==
-[[Category:集合論基本概念]]
+* [[类 (数学)]]
+== 参考来源 ==
-[[ca:Singletó]]
+== 參考資料 ==
-[[en:Singleton (mathematics)]]
+{{reflist}}
-[[es:Singulete]]
-[[it:Singoletto]]
+[[Category:集合論基本概念|D]]
-[[pt:Conjunto unitário]]
+[[Category:一]]