engl.: injective
Eine Funktion h : S → T heißt injektiv, wenn für alle s,t in S : S ungleich t ⇒ h(s) ungleich h(t)