Definition of the direct product graph. Each vertex of the direct product graph G × = G×G is an ordered pair of vertices-the first in G, the second in G . The vertices of the direct product graph are constituted by the subset of pairs of vertices between G and G with the same vertex label: