Définition

Énoncé

La définition de la définition en logique mathématique des ensembles tient en trois propositions, élémentaires:

    • Un ensemble n’est définissable qu’au moyen d’un énoncé ou bien en extension ou bien en compréhension.
    • Une définition en extension énumère tous les objets qui font partie de l’ensemble considéré.
    • Une définition en compréhension énonce une propriété ou des propriétés que tous les éléments de l’ensemble considéré et eux seuls possèdent.

Commentaires

Russell Ackoff, proche de Peter Drucker faisait remarquer dans «Toward a system of systems concept» à la page 671 :

« la définition est un bistouri; s’il est rouillé, le chirurgien travaillera plus difficilement, le patient souffrira davantage et les chances de succès seront diminuées. »