Prädikatenlogik/Bijektiver Homomorphismus/Nur Funktionssymbole/Isomorphismus/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein erststufiges Symbolalphabet, das keine Relationssymbole enthalte. Zeige, dass ein bijektiver -Homomorphismus zwischen zwei -Strukturen bereits ein -Isomorphismus

ist.
Eine Lösung erstellen