Ideas in this flowchart

• Un ensemble peut être spécifié de deux façons : extensionnellement ou intentionnellement.
• Il ne s’agit pas de deux sortes d’ensembles, mais de deux façons de spécifier un même ensemble.
• Définir un ensemble extensionnellement consiste à lister ses éléments réels.
• La définition extensionnelle énumère mécaniquement les éléments, sans donner une signification particulière à l’ensemble.
• Exemple : P = {Dad, Mom}.
• Dad et Mom constituent l’extension de l’ensemble P.
• Définir un ensemble intentionnellement consiste à décrire sa signification.
• Une définition intentionnelle fournit une règle pour déterminer si un élément appartient ou non à l’ensemble.
• Exemple : P est l’ensemble de tous les parents.
• Cette définition ne précise pas explicitement les éléments particuliers de P.
• La signification donnée permet néanmoins de déterminer l’extension de l’ensemble.
• La propriété « être parent » est appelée l’intension de P.
• « Intensionnellement » s’écrit avec un s et ne doit pas être confondu avec « intentionnellement », qui signifie « délibérément ».