「集合論」の版間の差分
削除された内容 追加された内容
編集の要約なし |
|||
21 行
集合Sのすべての元が集合Tに属しているとき、SはTの'''部分集合'''であるといい、<math>S \subset T</math>と表す。空集合は任意の集合の部分集合である。また、S自身もSの部分集合である。S自身以外の部分集合をSの'''真部分集合'''といい、TがSの真部分集合であることを<math>T \subsetneq S</math>とあらわす。
<math>X \subset Y</math>かつ<math>Y \subset X</math>を満たすときX=Yと書き、この2つの集合は等しいという。何をくだらないことを定義するのか、と思ってはいけない。数学ではしばしばまったく別の方法で定義した2つの集合X,Yが実は同じ集合であることを証明すべきときがある。そのようなときには、<math>X \subset Y</math>かつ<math>Y \subset X</math>を示せばよいのである。
'''冪集合'''<br />
| |||