Relation als surjektive Funktion