is sometimes called the box product of graphs.

The operation is associative, as the graphs and are naturally isomorphic.The operation is commutative as an operation on isomorphism classes of graphs, and more strongly the graphs and are naturally isomorphic, but it is not commutative as an operation on vertex-labeled graphs.