Strukturen/Isomorphismus (direkt)/Isomorph/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Isomorphismus

Es sei ein erststufiges Symbolalphabet und und -Strukturen. Eine bijektive Abbildung

heißt -Isomorphismus, wenn

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

    für alle .

  3. Für jede -stelliges Relationsymbol gilt

    genau dann, wenn

Die beiden Strukturen heißen isomorph, wenn es eine Isomorphie zwischen ihnen gibt.