Distributive Laws (Set Theory)