Esta definición lleva a la noción usual de homomorfismo de grafos, que tiene la propiedad interesante que un homomorfismo biyectivo no necesita tener inverso.