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 : .