Es sei G {\displaystyle {}G} ein Graph und B {\displaystyle {}B} eine Menge. Zeige, dass eine zulässige Färbung f : G → B {\displaystyle {}f\colon G\rightarrow B} dasselbe ist wie ein Graphhomomorphismus f : G → ( B , P 2 ( B ) ) {\displaystyle {}f\colon G\rightarrow (B,{\mathfrak {P}}_{2}\,(B))} .
