distributive law of sets