部分集合

著者の定義や文脈の流儀によって異なります。 厳密な真部分集合の立場では、Aの全要素がBに含まれ、かつBにA以外の要素が最低1つ存在する必要があります。一方、包含関係として等号を許容する立場では A ⊂ A のように両者が一致しても成り立ちます。曖昧さを避ける明確な選択肢として、等号を認めるなら ⊆、排除するなら ⊊ が用いられます。

ドイツの数学者エルンスト・シュレーダーが1890年に、ある概念が別の概念に完全に含まれる「従属」を表す記号として ⊂ を考案しました。日本の大学や学校の教材でも、等号を含めて ⊂ を使う流儀と、真部分集合に限定する流儀の両方が混在しています。