멱집합 공리(axiom of power set)는 체르멜로-프렝켈 집합론에서 사용되는 멱집합에 대한 공리이다.
이 공리는 형식 언어로는 다음과 같다.
풀어서 설명하면 다음과 같다.
외연성 공리를 통해 P ( A ) {\displaystyle {\mathcal {P}}(A)} 가 유일하다는 것을 보일 수 있고, 이 집합을 멱집합이라고 한다.