 Lexicographic product of graphs

In graph theory, the lexicographic product or (graph) composition of graphs and is a graph such that

If the edge relations of the two graphs are order relations, then the edge relation of their lexicographic product is the corresponding lexicographic order.The lexicographic product was first studied by .