在数学中，幂集公理是公理化集合论的 Zermelo-Fraenkel 公理中的一个。这个公理说明：“对于任何一个集合A，存在着一个集合B，它的元恰是A的各个子集。