二元集合

二元集合爲一恰有兩個不同元素的集合 ， 或等價地說 ， 一其勢爲2的集合 。 例如 ： 集合 { a, b } 爲二元集合 ， 其中 a ≠ b 。 集合 { a, a } 不爲二元集合 ， 它等於單元素集合 { a } 。 在公理集合論裏 ， 二元集合的存在性是空集公理 、 配對公理和外延公理的結果 。 由這兩個公理可導出單元素集合的存在性 。 由空集公理可知集合 { } 存在 。 再由配對公理可知集合 } 便是二元集合 。