Modular product of graphs
 
x
OK