Définition d'un ensemble en compréhension
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 = [latex]\left\{ x\in \mathbb{N}\ \Big\vert\ x\div 2\in \mathbb{N}\right\}[/latex] .