für zwei disjunkte GraphenG und H der Graph G[H] mit folgenden Eigenschaften.

G[H] besitzt als Eckenmenge das kartesische Produkt E(G) × E(H), und zwei Ecken (a, u) und (b, v) aus G[H] sind genau dann adjazent, wenn a adjazent zu b oder a = b und u adjazent zu v. Es gilt \begin{eqnarray}|E(G[H])|=|E(G||E(H)|\end{eqnarray}

und \begin{eqnarray}|K(G[H])|=|E(G||K(H)|+|E(H){|}^{2}|K(G)|.\end{eqnarray}