Prädikatenlogik/Homomorphismus/Mathematische Beispiele/Aufgabe