Suppose that ∘ and * are binary operations on a set S. Then ∘ is distributive over * if, for all a, b, and c in S,
If the two operations are multiplication and addition, ‘the distributive laws’ normally means those that say that multiplication is distributive over addition.