Eine Funktion ist injektiv, wenn für alle x1 und x2 aus der Definitionsmenge der Funktion gilt, dass aus f(x1) = f(x2) folgt, dass x1 = x2.