15/03/21 13:25:05.67 ooXUMShZ.net
>>533
関連
URLﾘﾝｸ(ja.wikipedia.org)
（文字化けご容赦、修正しません）
冪集合（べきしゅうごう、英: power set）とは、数学において、与えられた集合から、その部分集合の全体として新たに作り出される集合のことである。べきは冪乗の冪（べき）と同じもので、冪集合と書くのが正確だが、一部分をとった略字としてしばしば巾集合とも書かれる。
集合と呼ぶべき対象を公理的に構成的に与える公理的集合論では、集合から作った冪集合が集合と呼ばれるべきもののうちにあることを公理の一つ（冪集合公理）としてしばしば提示する。
冪集合の濃度
の部分集合 A とその指示関数 \chi_A : S \to \{0,1\} すなわち
\chi_A(x) := \begin{cases} 1 & {\rm if}\ x \in A \\ 0 & {\rm if}\ x \notin A \end{cases}
を対応づけることにより、冪集合 2^S と {\rm MA