数学の教科書やノートで目にする「⊆」や「⊂」という記号。
これらが部分集合を表す記号であることは知っていても、正確な読み方・使い分け・真部分集合との関係について自信を持って説明できる方は意外と少ないのではないでしょうか。
本記事では、部分集合の記号の正確な読み方・表記ルール・記号の使い分けのポイントまで詳しく解説していきます。
部分集合の記号⊆・⊂の読み方と基本的な意味
それではまず、部分集合の記号の読み方と基本的な意味について解説していきます。
部分集合を表す主な記号は「⊆（または⊂）」であり、「A⊆B」は「AはBの部分集合である」「AはBに含まれる」と読みます。
英語では「A is a subset of B」または「A is contained in B」と表現され、日本語では「AサブセットB」「AはBのサブセット」と読まれることもあります。
記号「⊆」はU字形（∪：合併を表す記号）を左に倒した形の下に等号（＝）を付けたものであり、「含む・以下」というニュアンスを視覚的に表現しています。
記号「⊂」は等号なしのバージョンであり、こちらの意味については使用する教科書・文献によって定義が異なるため注意が必要なのです。
日本の高校数学では「⊂」を「部分集合（等号を含む）」の意味で使うことが標準的ですが、大学数学以上では「⊂」を「真部分集合（等号を含まない）」の意味で使う流儀も広まっているため、文脈に応じた解釈が求められます。
⊆と⊂の使い分けの詳細ルール
⊆と⊂の使い分けについて、より詳細に整理しておきましょう。
日本の高校数学（学習指導要領に基づく教科書）では、原則として「A⊂B」を「AはBの部分集合（A＝Bを含む）」の意味で使用します。
国際的な数学の文脈や大学以降の集合論・論理学では「A⊆B」で「部分集合（等号を含む）」を表し、「A⊊B」や「A⊂B」で「真部分集合（A≠B）」を表す記法が広く採用されています。
数理論理学・コンピュータサイエンスの分野では特に「⊆」と「⊊」を明確に区別して使用することが多く、集合間の関係を精密に記述する際にこの区別が重要な意味を持ちます。
試験や問題集を解く際には、その問題が準拠する教科書・出題基準の記法に従うことが最も重要であり、記号の定義を問題文や注釈で確認する習慣をつけておくとよいでしょう。
逆方向の記号：⊇・⊃の読み方
部分集合の記号には方向を逆にした「⊇」や「⊃」も存在しており、これらも正確に理解しておく必要があります。
「B⊇A」は「BはAを含む（BはAの上位集合・超集合）」という意味であり、「A⊆B」と同義の別表現です。
「B⊃A」も同様にBがAを含む（AがBの部分集合である）ことを表しますが、⊃の使い方も⊂と同様に等号を含む・含まないで流儀が異なります。
「⊇」は「superset of or equal to（上位集合または等しい）」・「⊋」は「proper superset of（真の上位集合）」という対応関係を持っています。
これらの逆方向記号を正確に理解することで、集合の包含関係を様々な方向から表現できるようになり、数学的な証明や記述の幅が広がるのでしょう。
記号を使った包含関係の表現と計算例
続いては、部分集合の記号を使った包含関係の具体的な表現と計算例を確認していきます。
記号の意味を正確に理解したうえで実際の問題で使いこなせるようになることが目標です。
具体的な集合での包含関係の確認
具体的な集合を例にとって包含関係の判定を行ってみましょう。
A＝{2, 4}・B＝{1, 2, 3, 4, 5}のとき、Aの要素2も4もBに含まれているため「A⊆B（AはBの部分集合）」が成り立ちます。また A≠B であるため「A⊊B（AはBの真部分集合）」も成り立ちます。
A＝{1, 2, 3}・B＝{1, 2, 3}のとき、すべての要素が一致しているため「A⊆B」かつ「B⊆A」が成り立ち、これは「A＝B」と同値になります（この場合Aは真部分集合ではありません）。
【部分集合の判定練習】
A＝{a, b}・B＝{a, b, c, d} のとき
A⊆B → ○（AのすべてがBに含まれる）
A⊊B → ○（さらにA≠BなのでAはBの真部分集合）
B⊆A → ×（BのcとdはAに含まれない）
φ⊆A → ○（空集合はすべての集合の部分集合）
A⊆A → ○（任意の集合は自分自身の部分集合）
A＝{1, 3}・B＝{2, 4, 6}のとき、Aの要素1も3もBに含まれていないため「A⊆B」は成り立たず「A⊄B」と表します。
このような具体例を多く確認することで、包含関係の判定力が向上し、集合の問題を迅速かつ正確に解く力が身につくのです。
部分集合の記号と要素の帰属記号∈との違い
部分集合の記号（⊆・⊂）と要素の帰属を表す記号（∈）は形が似ているため混乱しやすいですが、表す関係がまったく異なります。
「∈（イプシロン）」は「ある要素が集合に属する（帰属関係）」を表し、「3∈{1, 2, 3}（3は集合{1, 2, 3}の要素である）」のように使います。
「⊆」は「集合と集合の間の包含関係」を表し、「{1, 2}⊆{1, 2, 3}（{1,2}は{1,2,3}の部分集合）」のように、両辺ともに集合である必要があります。
「3⊆{1, 2, 3}」とは書けず（3は要素であり集合ではないため）、「{3}⊆{1, 2, 3}」と書くことで「3のみからなる集合は{1,2,3}の部分集合」という正しい表現になります。
この「∈（要素と集合の関係）」と「⊆（集合と集合の関係）」の区別を常に意識することが、集合論の正確な理解と記述の第一歩となるでしょう。
記号を使った証明の書き方
数学では「AはBの部分集合である」ことを証明する場面が頻繁に登場します。
A⊆Bを証明するための基本的な手順は「Aの任意の要素xを取り、xがBにも属することを示す」という流れです。
例えば「偶数の集合A⊆整数の集合Z」を証明するには「Aの任意の要素xを取ると、xは偶数であるから整数でもある。よってx∈Z。したがってA⊆Z。」という論述を行います。
A⊊B（真部分集合）を示すには、さらに「A≠B（Bの要素でAに含まれないものが存在する）」を示す必要があります。
A＝Bを示すには「A⊆BかつB⊆A」を両方証明するのが標準的なアプローチであり、これが集合の相等を示す最も基本的な方法となっているのです。
まとめ
本記事では、部分集合の記号⊆・⊂の読み方・使い分けのルール・逆方向の記号・具体的な包含関係の判定・∈との違い・証明の書き方について解説しました。
「A⊆B」は「AはBの部分集合（AのすべてがBに含まれる）」を意味し、⊆と⊂の使い分けは使用する教科書・文献の定義に依存するため、文脈に応じた正確な解釈が求められます。
部分集合の記号と要素の帰属記号∈の明確な区別を意識しながら、具体例を通じた反復練習によって集合論の記号を正確に使いこなせるようになりましょう。
