##### 并集公理 - 并集公理 - **并集公理**在[[策梅洛-弗兰克尔集合论]]中表示对于任意集合族 $\mathcal{F}$, 存在一个集合 $U$, 它包含所有属于 $\mathcal{F}$ 中某个集合的元素 - $\forall \mathcal{F} \exists U \forall x (x \in U \leftrightarrow \exists C (x \in C \wedge C \in \mathcal{F}))$