Eine Funktion $f:A\to B$ heißt injektiv, wenn für alle $x,x'\in A$ aus $f(x)=f(x')$ stets $x=x'$ folgt.
Äquivalent: verschiedene Argumente haben verschiedene Bilder. Formal:
$$ \forall x,x'\in A:\ f(x)=f(x')\Rightarrow x=x'. $$Dies bedeutet, dass $f$ eineindeutig auf ihr Bild ist und eine Umkehrfunktion $f^{-1}:f(A)\to A$ existiert (als Funktion auf dem Bild).