---
sr-due: 2022-11-28
sr-interval: 74
sr-ease: 317
alias: "injective"
---
up::[[application]]
sibling::[[surjection]]
#maths/analyse 

> [!definition] Définition
> Soit f une application de $E$ dans $F$ :
> $f: E \rightarrow F$
> 
> $f$ est une injection si et seulement si :
> $\forall (x, x')\in E^2, f(x) = f(x') \implies x = x'$
^definition

> [!definition] Autrement
> Une injection est une [[application]] de $E \to F$ pour laquelle tout élément de $F$ possède au maximum 1 antécédent.

> [!idea] Intuition
> Une injection est une [[application]] injective, c'est-à-dire qui ne possède pas de "collision".