直積集合
Cartesian product of graphs