Expressions avec définition
définition
nom féminin
(latin definitio, -onis)
Par définition,
se dit d'une caractéristique contenue dans la définition de ce dont on parle, ou qui en est directement déductible.
Définition génétique,
définition réelle qui montre comment la chose définie peut exister, en indiquant son mode de production ou d'engendrement.Définition implicite,
définition d'un système d'objets, dans l'axiomatique moderne. (Par exemple, les axiomes de la théorie des groupes sont des définitions implicites de la structure de groupe.)Définition nominale,
traditionnellement, définition qui stipule une convention relative au sens d'un mot, opposée à la définition réelle, qui énonce les propriétés essentielles de la chose désignée par le mot. (Une définition nominale n'est donc pas susceptible d'être vraie ou fausse, contrairement à la définition réelle, qui doit satisfaire à certaines exigences d'adéquation : convenir à tout le défini et à lui seul ; selon Aristote, elle doit même être démontrée.)
Ensemble ou domaine de définition,
pour une correspondance entre deux ensembles E et F, sous-ensemble A de E dont les éléments admettent des correspondants dans F.
