二元集合

维基百科,自由的百科全书
跳转至: 导航搜索

二元集合為一恰有兩個不同元素的集合,或等價地說,一其為2的集合。

例如:

  • 集合{a,b}為二元集合。
  • 集合{a,a}不為二元集合,當其等價於集合{a},一單元素集合時。

公理集合論裡,二元集合的存在性是空集公理配對公理的結果。由這兩個公理可導出單元素集合{{}}的存在性。由空集公理可知集合{}存在。再由配對公理可知集合{{},{{}}}的存在,其包含了{}和{{}}。而集合{{},{{}}}便是二元集合。

另見[编辑]