Ungerichteter Graph/Menge/Abbildung/Bildgraph/Schwacher Homomorphismus/Fakt

Es sei ${}G=(V,E)$ ein Graph, ${}M$ eine Menge und ${}\varphi \colon G\rightarrow M$ eine Abbildung. Es werde ${}M$ mit der Struktur des Bildgraphen versehen.

Dann ist ${}\varphi$ ein schwacher Homomorphismus von Graphen.

Einen Beweis erstellen