Cartesian product
Cartesian product is distributive over union.