并集公理

在公理化集合论和使用它的逻辑、数学和计算机科学分支中，并集公理是Zermelo-Fraenkel集合论的公理之一。它声称对于任何集合A有一个集合B，它的元素完全是A的元素的元素。数学定义：任给一个集合X，都有一个恰好由X的元素的元素之全体所组成的集合 ，即在Zermelo-Fraenkel公理的形式语言中，这个公理读作：给定任何集合A，有着一个集合B使得，给定任何集合x，x∈B，当且仅当有一个集合y使得x∈y并且y∈A。