Injektive Funktion

Eine Funktion heißt injektiv (engl.: one-to-one), wenn nie zwei verschiedene Elemente auf das gleiche abgebildet werden. Man nennt die Funktion dann eine Injektion.

Eine injektive Funktion ist also (als Relation gesehen) links- und rechtseindeutig.

Definition: $f:A\to B$ heißt injektiv genau dann wenn $\forall {x,y\in A}:f(x)=f(y)\Leftarrow \Rightarrow x=y$.

Siehe auch: Bijektivität, Surjektivität