Relation als totale Funktion