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