Injection \(f:E\to F\)
Fonction qui renvoie des valeurs différentes pour chaque entrée possible.$$\forall f(x),f(y)\in F, f(x)=f(y)\Longrightarrow x=y$$
- s'il existe une injection de \(E\) dans \(F\), alors on note \(E\) \(\hookrightarrow\) \(F\)
- le nombre d'injections de \(E\) dans \(F\) est donné par \(\prod_{i=0}^{\operatorname{Card}(E)-1}\operatorname{Card}(F)-i\)
