给定集合formula_1，我们可以找到一个集合formula_2，它的成员正是formula_1的成员的成员。通过外延公理可知这个集合formula_2是唯一的，它叫做formula_1的联集，并指示为formula_21，所以这个公理的本质是：配对公理与并集公理一起蕴涵了对于任何两个集合，都有一个集合精确地包含了这两个集合的元素。朴素集合论中两个集合的并集在这里是这两个集合的配对集合的并集，比如集合formula_22和集合formula_23，它们的对是formula_24，这个对的并集是form