Det finnes mange satser og teorem som sier hvordan operasjonene relaterer seg til hverandre.  Dersom A, B og C alle er mengder, så gjelder distributive lover:
Hva er de distributive lovene for mengder?