Es seien G = ( V , E ) {\displaystyle {}G=(V,E)} und H = ( W , F ) {\displaystyle {}H=(W,F)} Graphen. Eine Abbildung φ : V → W {\displaystyle {}\varphi \colon V\rightarrow W} mit der Eigenschaft, dass aus v v ′ ∈ E {\displaystyle {}vv'\in E} stets φ ( v ) φ ( v ′ ) ∈ F {\displaystyle {}\varphi (v)\varphi (v')\in F} folgt, heißt Graphhomomorphismus.
