Strukturen/Isomorphismus/Isomorph/Definition

Isomorphismus

Es sei ${}S$ ein erststufiges Symbolalphabet und ${}M$ und ${}N$ seien ${}S$-Strukturen. Eine bijektive Abbildung

$\varphi \colon M\longrightarrow N$

heißt ${}S$-Isomorphismus, wenn sowohl ${}\varphi$ als auch die Umkehrabbildung ${}\varphi ^{-1}$ ein ${}S$-Homomorphismus ist.