Faktorisierungssatz für Graphhomomorphismen
Es sei
ein
schwacher Homomorphismus
zwischen den
Graphen
und
.
Dann gibt es eine Faktorisierung von
als
-
wobei
die
Quotientenabbildung
zu einer Äquivalenzrelation auf
ist,
ein
Isomorphismus
ist,
einen knotenidentischen Untergraphen und
einen
vollen Untergraphen
beschreibt.