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