直積集合
Cartesian product is distributive over union.