Relation als injektive Funktion