Technical Terms Graph homomorphism: A function between the vertex sets of two graphs that maps adjacent vertices to adjacent vertices, thereby preserving the graph structure.