Graph product

In mathematics, a graph product is a binary operation on graphs. Specifically, it is an operation that takes two graphs G₁ and G₂ and produces a graph H with the following properties:

The following table shows the most common graph products, with ${\displaystyle \sim }$; denoting “is connected by an edge to”, and ${\displaystyle \not \sim }$ denoting non-connection. The operator symbols listed here are by no means standard, especially in older papers.

( ${\displaystyle u_{1}}$ ${\displaystyle \sim }$ ${\displaystyle v_{1}}$ and ${\displaystyle u_{2}}$ = ${\displaystyle v_{2}}$ )

...
Wikipedia