suivant : 4.2.3 Nombre d'applications injectives remonter : 4.2 Arrangements précédent : 4.2.1 Factorielles

4.2.2 Applications injectives

Soit $f : A \longrightarrow B$,

Définition 4.2.1   $f$ est injective si

$$\forall a \in A, \forall a^\prime \in A, f(a) = f(a^\prime) \Rightarrow a = a^\prime$$

$f$ est injective si deux éléments distincts ne peuvent pas avoir la même image.