Cartesian product
直積集合の元は順序対なので、同じ元はひとつも含まれていない。