Prädikatenlogik/Bijektiver Homomorphismus/Nur Funktionssymbole/Isomorphismus/Aufgabe
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.