在公理化集合论和使用它的逻辑、数学和计算机科学分支中，并集公理是 Zermelo-Fraenkel 集合论的公理之一。它声称对于任何集合formula_1有一个集合formula_2，formula_2的元素正是formula_1的元素的元素。
形式陈述.在 Zermelo-Fraenkel 公理的形式语言中，这个公理读做：换句话说：
解释.因此，这个公理实际上说的是，给定集合formula_1，我们可以找到一个集合formula_2，它的成员正是for