f:G->H 라는 함수가
vertex를 vertex로,
Edge는 edge로 일대일 대응시킨다고 생각하면
f(ab)=f(a)f(b) in E(H)
처럼 얼추 비슷하게 쓸 수 있어서 그런건가