Strukturen/Homomorphismus/Definition

Aus Wikiversity
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.

  1. Für jede Konstante ist
  2. Für jedes -stellige Funktionssymbol ist

    für alle .

  3. Für jedes -stellige Relationsymbol impliziert die Gültigkeit von

    die Gültigkeit von