Le symbole ∈ indique qu'un élément appartient à un ensemble. À l'inverse, le symbole ∉ identifie un élément qui n'appartient pas à un ensemble.
L'ensemble est dit un sous-ensemble de si et seulement si tous les éléments de sont aussi des éléments de .
En mathématiques, un ensemble désigne intuitivement un rassemblement d'objets distincts (les éléments de l'ensemble), « une multitude qui peut être comprise comme une totalité » pour paraphraser Georg Cantor qui est à l'origine de la théorie des ensembles.
⋄ un ensemble qui ne contient qu'un seul élément s'appelle un singleton.