##### 子集公理 - 子集公理 - **子集公理**在[[策梅洛-弗兰克尔集合论]]中表示对于任意[[集合]] $A$ 和性质 $\varphi(x)$, 可以构造一个新集合 $S$, 它包含所有满足 $\varphi(x)$ 的元素, 即某种[[子集]]存在 - $\forall A \exists S \forall x (x \in S \leftrightarrow (x \in A \wedge \varphi(x)))$