Strukturen/Automorphismus/Definition

Automorphismus

Es sei $S$ ein erststufiges Symbolalphabet und $M$ sei eine $S$-Struktur. Ein $S$-Isomorphismus

$\phi :M⟶M$

heißt $S$-Automorphismus.