要素記号

左側のものが右側の集合の要素であるという意味です。

集合とは、波括弧 {} の中に書く「ものの集まり」です。3 ∈ {1, 2, 3} は、3 がその集合の要素の一つであることを表します。「属する」「含まれる」「〜の元（要素）である」と読みます。順序には意味があり、要素が左、集合が右です。逆向きに書くときは ∋（「要素として含む」）を使います：{1, 2, 3} ∋ 3。

イタリアの数学者ジュゼッペ・ペアノが1889年、算術の基礎に関する著書でこの記号を導入しました。彼の記号はイプシロンで、「である」を意味するギリシャ語 ἐστί の頭文字でした。その後の組版で、現在の丸みを帯びた ∈ の形になりました。

∈ はイプシロンでも部分集合でもない

イプシロンは文字、∈ は要素と集合の関係です。 ギリシャ文字の ε や ϵ は、解析学の「小さな正の数」のように量を表します。∈ は要素と集合を結ぶだけです。Unicode では別の文字として符号化されているため、検索、スクリーンリーダー、数式エディタでの扱いも異なります。

∈ は個々の要素にだけ使います。左側自体が別の集合に含まれる集合なら、⊆ のような部分集合の記号が必要です：{1} ⊆ {1, 2}、一方で 1 ∈ {1, 2}。「属さない」は斜線入りの ∉ で書きます：x ∉ A。

∈ はどう入力する？

LaTeX の数式モードで \in、HTML なら ∈ です。

LaTeX は数学論文の大半で使われる組版システムで、\in はその基本コマンドの一つです。ウェブページでは ∈ または ∈ で表示できます。Word や Google ドキュメントの数式エディタも \in を受け付けるか、関係記号の一覧にこの記号があります。日本語 IME では「ぞくする」などの変換候補に出ることがあります。