べき集合
べき集合の定義
ある集合の部分集合全体の集合をべき集合という。
定義（べき集合）
集合 \(A\) に対して
\[
2^A:=\{B~|~B\subset A\}
\]
を \(A\) のべき集合という。
べき集合 \(2^A\) は \(\mathcal{P}(A)\) とも書かれる。
べき集合の例
\(A=\{a,b\}\) のべき集合は
\[
2^A=\{\emptyset,~\{a\},~\{b\},~\{a,b\}\}
\]