Zermelo-Fraenkel 公理 之一，它断言对于任何集合 
都存在由 
的所有子集组成的幂集 
。该公理可以用符号表示为
 |
(Enderton 1977年)。请注意 Itô (1986年，第147页) 给出的版本，
 |
令人困惑，并且可能不正确。
幂集公理
参见
幂集, Zermelo-Fraenkel 公理使用 Wolfram|Alpha 探索
参考文献
Enderton, H. B. 集合论基础。纽约：Academic Press，1977年。Itô, K. (编). "Zermelo-Fraenkel 集合论。" §33B in 数学百科词典，第2版，第1卷。 剑桥，马萨诸塞州：MIT Press，第146-148页，1986年。在 Wolfram|Alpha 上被引用
幂集公理引用为
Weisstein, Eric W. "幂集公理。" 来自 MathWorld--Wolfram 网络资源。 https://mathworld.net.cn/AxiomofthePowerSet.html