Eine Funktion heißt injektiv (engl.: one-to-one), wenn nie zwei verschiedene Elemente auf das gleiche abgebildet werden.
Eine injektive Funktion 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.
Siehe auch: bijektiv, surjektiv
