Zum Inhalt springen

Strukturen/Isomorphismus/Isomorph/Definition

Aus Wikiversity
Isomorphismus

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

heißt -Isomorphismus, wenn sowohl als auch die Umkehrabbildung ein -Homomorphismus ist.