Strong product of graphs
= Strong product of graphs
{title2=$G\boxtimes H$}
{wiki}
= Strong graph product
{synonym}
= Strong product
{synonym}
Its vertices are pairs of vertices. Two distinct pairs are adjacent exactly when, in each coordinate, their entries are equal or adjacent in the corresponding <graph>. Cartesian products of independent sets are independent, giving supermultiplicativity of the <independence number>.