「冪集合」の版間の差分
削除された内容 追加された内容
編集の要約なし |
|||
20行目:
* <math>\mathfrak P(\{1,2,3\}) = \{\varnothing, \{1\}, \{2\}, \{3\}, \{1,2\}, \{1,3\}, \{2,3\}, \{1,2,3\}\}</math>
などとなる。[[空集合]]の冪集合は空集合を唯一つの元として持つ[[一元集合]]であり、空集合とは別のものである。
なおこの定義から明らかに
: <math>A \in \mathfrak{P}(S)\iff A \subset S</math>
である.
== 構造 ==
|