元素 (數學)

${\displaystyle A=\{1,2,3,4\}}$表示集合${\displaystyle A}$中有四个元素，分别是数字1、2、3、4。由集合${\displaystyle A}$中元素组成的集合是${\displaystyle A}$的子集，例如 ${\displaystyle \{1,2\}}$。

集合本身也可以是元素。例如 ${\displaystyle B=\{1,2,\{3,4\}\}}$，那么集合${\displaystyle B}$中的元素不是 1、2、3、4 四个数，而是1、2、集合 ${\displaystyle \{3,4\}}$，共三个元素。

符号「∈」表示「是${\displaystyle X}$中的元素」的关系，这种关系也称集合隶属关系（英語：）。可以用

${\displaystyle x\in A}$

表示「${\displaystyle x}$是${\displaystyle A}$中的元素」，也可以表达为「${\displaystyle x}$是${\displaystyle A}$的成员」「${\displaystyle x}$在${\displaystyle A}$中」「${\displaystyle x}$属于${\displaystyle A}$」。

有时也用「${\displaystyle A}$包含${\displaystyle x}$」表达集合隶属关系，但因为这样的说法也可以用来表达「${\displaystyle x}$是${\displaystyle A}$的子集」，应该谨慎使用，避免歧义。[1][2]不过使用符号时没有歧义，可以用

${\displaystyle A\ni x}$

来表达「${\displaystyle A}$包含${\displaystyle x}$」。

不隶属的关系可以用符号「${\displaystyle \not \in }$」表示，记作

${\displaystyle x\notin A}$

意思是「${\displaystyle x}$不是${\displaystyle A}$的元素」。

${\displaystyle \in }$源自希臘字母ε，虽然已经极少，但在一些文献中还有在使用，例如John Milnor的"Topology from the Differentiable Viewpoint" (1965,1997)。

在資訊科技上：

${\displaystyle \in }$ 的 Unicode 字元值是 U+2208 (∈)，在 TeX 中可以用代號 \in 打出。

${\displaystyle \subset }$ 的 Unicode 字元值是 U+2282 (⊂)，TeX 代號為 \subset。

${\displaystyle \subseteq }$ 的 Unicode 字元值是 U+2286 (⊆)，TeX 代號為 \subseteq。