Description d’un ensemble à partir de sa propriété définissante et de son référentiel.
Exemple
L’ensemble E des nombres naturels multiples de 2 peut se définir en compréhension de la façon suivante :
E = \(\left\{ x\in \mathbb{N}\ \Big\vert\ x\div 2\in \mathbb{N}\right\}\) .