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

Es sei ${}S$ ein Symbolalphabet, das neben Variablen aus einem einzigen einstelligen Relationssymbol besteht. Was bedeutet ein ${}S$ -Homomorphismus? Welche mathematische Signifikanz hat dieser Begriff?