个集合的配对集合的并集，比如集合formula_22和集合formula_23，它们的对是formula_24，这个对的并集是formula_25。并集公理一般被认为是无可争议的，它或它的等价命题出现在所有可替代的集合论的公理化中。注意没有对应的交集公理：formula_26。如果formula_1是非空集合，则我们可以使用分类公理模式形成交集 ∩"A" 为 formula_28，所以不需要单独的交集公理。（如果formula_1是空集，则尝试如此形成formula_1的交集为不被这些公理所允许，如