Prädikatenlogik/Homomorphismus/Ein einstelliges Funktionssymbol/Mathematische Beispiele/Aufgabe

Es sei ${}S$ ein Symbolalphabet, das neben Variablen aus einem einzigen einstelligen Funktionssymbol besteht. Was bedeutet ein ${}S$ -Homomorphismus?

Welche mathematische Signifikanz hat dieser Begriff?