Eine Funktion heißt injektiv, wenn nie zwei verschiedene Elemente auf das gleiche abgebildet werden.
Eine injektive Funtion ist also (als Relation gesehen) links- und rechtseindeutig.
Definition: f: A → B heißt injektiv genau dann wenn ∀ x,y ∈ A: f(x) = f(y) ⇒ x=y.
