L'appartenance est une relation binaire de la théorie des ensembles. Elle est notée
et signifie que "... appartient à ...". Le signe
vient de la lettre grecque
(epsilon).
- Le rouge est une couleur. On peut donc dire que le rouge appartient à l'ensemble des couleurs. Si l'on note
l'ensemble des couleurs, on peut noter 


En notant
l'ensemble des nombres entiers naturels, on peut noter
,
,
...
- La négation de l'appartenance se note
, avec par exemple :
,
et
.
- On note parfois le signe à l'envers, qui signifie alors "... contient ..." comme par exemple :
.