Spiegellabor

Ist eine Funktion umkehrbar? Wie findet man den Term der Umkehrfunktion? Das Spiegellabor macht die Spiegelung an y = x im Forschermodus, im Term-Umkehren und im Zuordnungs-Modus greifbar.