セット（集合）のパワーセット（集合）の定義
話題
About: セット（集合）
この記事の目次
開始コンテキスト
- 読者は、セット（集合）の定義を知っている。
ターゲットコンテキスト
- 読者は、セット（集合）のパワーセット（集合）の定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\( S\): \(\in \{\text{ 全てのセット（集合）たち }\}\)
\(*Pow (S)\): \(= \{S' \subseteq S \}\)
//
コンディションたち:
//
2: 自然言語記述
任意のセット（集合）\(S\)に対して、\(S\)の全てのサブセット（部分集合）たちのセット（集合）で、\(Pow (S)\)と表記される
3: 注
\(Pow (S)\)は存在する、パワーセット（集合）公理によって。
\(Pow (S)\)は\(S\)の全てのサブコレクションたちのコレクションであるとは保証されないことを知ることが重要である: ZFCセット（集合）理論は、妥当なフォーミュラたちを持つサブコレクションたちだけをセット（集合）たちであると保証しているので、妥当なフォーミュラを持たないあるサブコレクションがあるかもしれず、それはセット（集合）ではない（したがって、サブセット（部分集合）でない）かもしれず、\(Pow (S)\)の中に包含されていないかもしれない、なぜなら、\(Pow (S)\)はサブセット（部分集合）たちのみを包含する。
