Strukturen/Automorphismus/Definition

Automorphismus

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

$\varphi \colon M\longrightarrow M$

heißt ${}S$-Automorphismus.