Injection

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Une application qui envoie des éléments distincts du domaine sur des éléments distincts du codomaine ; équivalemment, f est injective si f(x)=f(y) entraîne x=y.