数学を学ぶ中で、「含む」や「含まれる」といった概念を記号で表す場面は非常に多くあります。
特に集合論では、∈・⊆・⊂・∉といった記号が頻繁に登場し、それぞれの意味をしっかり理解しておくことが大切です。
しかし、これらの記号は見た目が似ているため、「どれがどの意味だっけ？」と混乱してしまう方も少なくないでしょう。
この記事では、含むの記号の意味と使い方について、集合・部分集合・要素・含まれる・含まない記号なども含めてわかりやすく解説していきます。
「含む」の記号は∈・⊆・⊂など、使い分けが重要！
それではまず、「含む」の記号の全体像と結論について解説していきます。
数学における「含む」という表現には、大きく2種類の意味があります。
一つは「要素が集合に含まれる」という意味、もう一つは「集合が別の集合に含まれる（部分集合）」という意味です。
この2つは似ているようで、使う記号が異なります。
「要素と集合の関係」には ∈ や ∉ を使い、「集合と集合の関係（部分集合）」には ⊆ や ⊂ を使うのが基本ルールです。
これを押さえておくだけで、記号の使い分けがぐっとスムーズになるでしょう。
それぞれの記号については、以下の見出しで詳しく確認していきます。
∈（イプシロン）の意味
∈ は、「要素が集合に属する（含まれる）」ことを表す記号です。
たとえば「a ∈ A」は、「aはAという集合の要素である」という意味になります。
例） 3 ∈ {1, 2, 3, 4, 5}
→ 「3は集合{1, 2, 3, 4, 5}に含まれる要素である」
∈ の記号はギリシャ文字のε（イプシロン）をもとにしており、「Element（要素）」の頭文字に由来するといわれています。
∉（含まない記号）の意味
∉ は、∈ に斜線が入った記号で、「要素が集合に属さない（含まれない）」ことを表します。
例） 6 ∉ {1, 2, 3, 4, 5}
→ 「6は集合{1, 2, 3, 4, 5}に含まれない」
∈ の否定形として使われる記号であり、要素が集合の外にあることを明示したいときに用いられます。
∈と∉の使い方のポイント
∈ と ∉ は、必ず「個々の要素」と「集合」の関係を表すときに使います。
集合どうしの関係を表す場合には使わないため、この点に注意が必要です。
「要素 ∈ 集合」という語順で書くのが基本と覚えておきましょう。
⊆と⊂の違いとは？部分集合を表す記号を確認
続いては、部分集合を表す記号 ⊆ と ⊂ の違いを確認していきます。
この2つは見た目がよく似ており、混同されやすい記号の代表格です。
⊆（部分集合）の意味
⊆ は、「AはBの部分集合である（等号を含む）」ことを表す記号です。
「A ⊆ B」は、「AのすべてのBに含まれる、かつA＝Bも許容する」という意味になります。
例） {1, 2} ⊆ {1, 2, 3}
→ 「{1, 2}は{1, 2, 3}の部分集合である」
例） {1, 2, 3} ⊆ {1, 2, 3}
→ 「自分自身も部分集合として認める（等号あり）」
⊂（真部分集合）の意味
⊂ は、「AはBの真部分集合である（等号を含まない）」ことを表す記号です。
「A ⊂ B」は、「Aのすべての要素がBに含まれ、かつA＝Bではない」という意味になります。
例） {1, 2} ⊂ {1, 2, 3}
→ 「{1, 2}は{1, 2, 3}の真部分集合である（等しくはない）」
⊆ は「以下（≦）」のイメージで等号を含み、⊂ は「未満（＜）」のイメージで等号を含まない、と覚えると区別しやすいでしょう。
⊇と⊃（逆向きの記号）について
⊆ や ⊂ とは逆向きの記号として、⊇ や ⊃ も存在します。
「A ⊇ B」は「AはBを含む（BはAの部分集合）」、「A ⊃ B」は「AはBを真に含む」という意味です。
矢印の向きをイメージすると、開いている側が「大きい集合」と覚えるとわかりやすいでしょう。
記号の一覧表で整理しよう
続いては、ここまで登場した記号をまとめた一覧表を確認していきます。
視覚的に整理することで、それぞれの違いがより明確になるはずです。
含む・含まれる記号の一覧
| 記号 | 読み方 | 意味 | 使用例 |
|---|---|---|---|
| ∈ | イプシロン | 要素が集合に属する（含まれる） | 3 ∈ {1, 2, 3} |
| ∉ | ノットイプシロン | 要素が集合に属さない（含まれない） | 5 ∉ {1, 2, 3} |
| ⊆ | サブセットイコール | 部分集合（等号を含む） | {1} ⊆ {1, 2} |
| ⊂ | サブセット | 真部分集合（等号を含まない） | {1} ⊂ {1, 2} |
| ⊇ | スーパーセットイコール | 集合を含む（等号あり） | {1, 2} ⊇ {1} |
| ⊃ | スーパーセット | 集合を真に含む（等号なし） | {1, 2} ⊃ {1} |
要素と集合・集合と集合の使い分け
記号を選ぶ際の判断基準として、「何と何の関係を表しているか」を最初に確認することが大切です。
個々の要素と集合の関係なら ∈ や ∉、集合と集合の関係なら ⊆ や ⊂ を選ぶという流れが基本になります。
注意したい記号の混同ケース
よくある間違いとして、「集合Aが集合Bに含まれる」という文脈で ∈ を使ってしまうケースがあります。
たとえば「{1} ∈ {1, 2, 3}」という書き方は、{1}という集合が{1, 2, 3}の一つの要素として存在する場合にのみ正しい表現です。
部分集合の関係を述べたいなら、必ず ⊆ または ⊂ を使うようにしましょう。
まとめ
この記事では、含むの記号として登場する ∈・⊆・⊂・∉ などの数学記号の意味と使い方について解説してきました。
∈ は要素が集合に含まれることを、∉ はその否定を表す記号です。
⊆ は等号を含む部分集合、⊂ は等号を含まない真部分集合を意味し、この2つの違いは特に重要なポイントです。
「要素と集合」には ∈・∉、「集合と集合（部分集合）」には ⊆・⊂ と使い分けるのが、記号マスターへの第一歩です。
記号の見た目は似ていても、それぞれが異なる数学的な意味を持っています。
一覧表や具体的な例を活用しながら、しっかり整理して覚えていきましょう。
集合論の基礎をしっかり理解することが、より高度な数学の学習にもつながるでしょう。
