멱집합(power set)은 특정 집합의 모든 부분집합을 모은 집합이다. 집합 S의 멱집합은 표기할 때에는 , P(S), 2S, {0,1}S 등을 사용한다.
공리적 집합론에서는 멱집합 공리에 따라 집합의 멱집합이 존재한다는 것이 보장된다.