1. LogiqueDésignation d’un ensemble d’éléments par un prédicat qu’ils vérifient.L’ensemble \{1,2,3\} peut être défini en intension comme étant l’ensemble des entiers compris — au sens large — entre 1 et 3.