Definition:Distributive Operation

Definition
Let $S$ be a set on which is defined two binary operations, defined on all the elements of $S \times S$, which we will denote as $\circ$ and $*$.

The operation $\circ$ is distributive over $*$, or distributes over $*$, :
 * $\circ$ is right distributive over $*$

and:
 * $\circ$ is left distributive over $*$.

Right Distributive
So as to streamline what may turn into cumbersome language, some further definitions:

Also see

 * Left Distributive and Commutative implies Distributive