Es decir, cualquier par de vértices "u" y "v" de "G" son adyacentes si y solo si lo son sus imágenes, "f(u)" y "f(v)", en "H".