サブセットと適切なサブセットの差
サブセットと適切なサブセット
物をグループに分類することによって世界を実現することは非常に自然です。これは「理論の設定」と呼ばれる数学的概念の基礎です。集合理論は19世紀後半に開発され、現在では数学で遍在している。ほぼすべての数学は、集合理論を基礎として導き出すことができます。集合理論の応用は、抽象的な数学から有形の物理世界のすべての科目に及ぶ。
サブセットと適切なサブセットは、セット間の関係を導入するためにセット理論でよく使用される2つの用語です。集合Aの各要素が集合Bのメンバーでもある場合、集合Aは集合Bの部分集合と呼ばれ、これは「AがBに含まれる」と読むことができる。より正式には、AはBのサブセットであり、x∈Aがx∈Bを意味する場合、A⊆Bで表される。
任意のセット自体は、同じセットのサブセットです。これは、セットに含まれるすべての要素も同じセットに含まれるためです。 AがBのサブセットであるが、AがBと等しくない場合、AはAの適切なサブセットであることを示すために、A⊂Bの表記を使用する。例えば、セット{1,2}は4つのサブセットを有するが、3つの適切なサブセットのみを有する。 {1、2}は部分集合であるが、{1,2}の適切な部分集合ではないため。
<！あるセットが別のセットの適切なサブセットである場合、それは常にそのセットのサブセットです（つまり、AがBの適切なサブセットである場合、それはAがBのサブセットであることを意味します） 。しかし、スーパーセットの適切なサブセットではないサブセットが存在する可能性があります。 2つのセットが等しい場合、それらは互いにサブセットであるが、お互いの適切なサブセットではない。
要約：<！ AがBのサブセットである場合、AとBは等しくなります。 AがBの適切なサブセットである場合、AはBと等しくあり得ない。
