Definition 1.6.14.  Let X be a set, ∗, ⋆ : X × X → X be operations on X. We define:
∗ is distributive over ⋆  :⇔  ∗ is left-distributive over ⋆ and ∗ is right-distributive over ⋆
References.