Cartesian product of graphs

The Cartesian product of two graphs \( G_1 = (V_1, E_1) \) and \( G_2 = (V_2, E_2) \) is a graph constructed by combining the vertices of the two graphs in a specific way.