二元集合为一恰有两个不同元素的集合，或等价地说，一其势为2的集合。例如：在公理集合论里，二元集合的存在性是空集公理、配对公理和外延公理的结果。由这两个公理可导出单元素集合<nowiki></nowiki>的存在性。由空集公理可知集合<nowiki>{}</nowiki>存在。再由配对公理可知集合<nowiki>}</nowiki>便是二元集合。