二元集合 二元集合為一恰有兩個不同元素的集合或等價地說一其勢為的集合 例如 集合ab為二元集合其中 ab 集合aa不為二元集合它等於單元素集合 a 在公理集合論裡二元集合的存在性是空集公理配對公理和外延公理的結果由這兩個公理可導出單元素集合的存在性由空集公理可知集合存在再由配對公理可知集合的存在其包含了和根據外延公理和是不同的集合所以集合便是二元集合