Homomorphismus
Es sei ein
erststufiges Symbolalphabet
und
und
seien
-Strukturen.
Eine Abbildung
-
heißt
-Homomorphismus,
wenn folgende Eigenschaften gelten.
- Für jede Konstante
ist
-
- Für jedes -stellige Funktionssymbol
ist
-
für alle
.
- Für jedes -stellige Relationsymbol
impliziert die Gültigkeit von
-
die Gültigkeit von
-