Strukturen/Homomorphismus/Definition
Zur Navigation springen
Zur Suche springen
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