Eine Menge geordneter Zahlenpaare, die eine eindeutige Abbildung der Menge x auf der Menge y ist, heißt Funktion.
Def. Umkehrfunktion:
Es sei f mit y=f(x) eine eindeutige Funktion, dann ist die Menge aller geordneten Paare (y/x) mit (x/y) ∈ f eine Funktion.
Diese Funktion nennt man Umkehrfunktion zu f oder f-1.
