Graph homomorphism (source code)

= Graph homomorphism
{wiki}

A graph homomorphism from $H$ to $G$ is a <function> $f:V(H)\to V(G)$ that sends every edge $uv$ of $H$ to an edge $f(u)f(v)$ of $G$.