A rule which stipulates how two binary operations on a set shall behave with respect to one another; in particular, if +, ∘ are two such operations then ∘ distributes over + means a ∘ (b + c ) = (a ∘ b ) + (a ∘ c ) for all a,b,c in the set.