Elementare Äquivalenz/Elemente/Permutation/2/Aufgabe

Aus Wikiversity

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 .