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

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

Eine Lösung erstellen