Définition

Une définition est un énoncé écrit en langage naturel ou en langage formel (de la logique), qui introduit un nouveau mot ou symbole associé à un objet abstrait décrit par un assemblage d’autres mots ou symboles dont le sens a déjà été précisé. Une définition n’est pas un théorème

, elle donne simplement une dénomination à des objets mathématiques mais ne décrit pas de règles d’utilisation de ces objets ou de propriétés vérifiées par ces objets (autres que celles qui le définissent).

 

Source : http ://fr.wikipedia.org