员。通过外延公理可知这个集合formula_2是唯一的，它叫做formula_1的联集，并指示为formula_21，所以这个公理的本质是：配对公理与并集公理一起蕴涵了对于任何两个集合，都有一个集合精确地包含了这两个集合的元素。朴素集合论中两个集合的并集在这里是这两个集合的配对集合的并集，比如集合formula_22和集合formula_23，它们的对是formula_24，这个对的并集是formula_25。并集公理一般被认为是无可争议的，它或它的等价命题出现在所有可替代的集合论的公理化中。注