Ungerichteter Graph/Menge/Abbildung/Bildgraph/Schwacher Homomorphismus/Fakt/Beweis/Aufgabe
Es sei ein Graph, eine Menge und eine Abbildung. Zeige, dass ein schwacher Homomorphismus von Graphen ist, wenn man mit der Struktur des Bildgraphen versieht.