distributive properties of set operations