eine Funktion ist injektiv, wenn nicht zwei verschiedene Objekte aus dem Definitionsbereich das gleiche Ergebnis im Wertebereich haben bzw. x1 != x2 -> f(x1) != f(x2)