곱집합
Cartesian product is distributive over union.