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