Powerset(멱집합)은 어떤 집합의 모든 부분집합들로 이루어진 집합을 의미합니다. 여기에는 공집합과 원래 집합 자체도 포함됩니다.
주어진 집합 $S$에 대해 멱집합 $\mathcal{P}(S)$은 $S$의 모든 부분집합들의 집합으로 정의됩니다.
수학적으로:
$$ \mathcal{P}(S) = \{A \mid A \subseteq S\} $$
여기서 $A$는 $S$의 부분집합입니다.