X가 집합일 때, 그 멱집합 \mathcal{P}(X)는\mathcal{P}(X) =\{A : A\subset X\}\{1,수학,네이버\}의 멱집합은 \{∅, \{1\}, \{수학\}, \{네이버\}, \{1,수학\}, \{수학,네이버\}, \{네이버,1\}, \{1,수학,네이버\}\}이다.X가 농도 n의 유한집합이면 \mathcal{P}(X)의 농도는 2^n이다.X에 대해 \mathcal{P}(X)는 포함관계에 의해 반순서집합, 특히 완비 속을 이룬다.