Prädikatenlogik/Automorphismus/Gruppe/Aufgabe

Es sei ${}S$ ein erststufiges Symbolalphabet und ${}M$ sei eine ${}S$-Struktur. Zeige, dass die Menge der ${}S$-Automorphismen auf ${}M$ eine Gruppe

bildet.

Eine Lösung erstellen