rmelo-Fraenkel 公理的形式语言中，这个公理读做：换句话说：
解释.因此，这个公理实际上说的是，给定集合formula_1，我们可以找到一个集合formula_2，它的成员正是formula_1的成员的成员。通过外延公理可知这个集合formula_2是唯一的，它叫做formula_1的联集，并指示为formula_21，所以这个公理的本质是：配对公理与并集公理一起蕴涵了对于任何两个集合，都有一个集合精确地包含了这两个集合的元素。朴素集合论中两个集合的并集在这里是这