在公理化集合论和使用它的逻辑、数学和计算机科学分支中，并集公理是Zermelo-Fraenkel集合论的公理之一。它声称对于任何集合A有一个集合B，它的元素完全是A的元素的元素。