Prädikatenlogik/Homomorphismus/Ein Relationssymbol/Mathematische Beispiele/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolalphabet, das neben Variablen aus einem einzigen einstelligen Relationssymbol besteht. Was bedeutet ein -Homomorphismus?

Welche mathematische Signifikanz hat dieser Begriff?