Elementare Äquivalenz/Elemente/Permutation/2/Aufgabe
Es sei ein Symbolalphabet, das neben Variablen aus einem einzigen einstelligen Funktionssymbol besteht und es sei eine -Struktur, wobei als die Permutation mit
interpretiert werde. Bestimme die elementar äquivalenten Elemente von .