Endliches Modell/Elementar äquivalent und isomorph/Permutation/Beispiel/Automorphismen/Aufgabe

Definiere einen Isomorphismus auf zur Permutation

anhand von Fakt, wobei im ersten Schritt auf abgebildet werden soll.