\begin{definition}[Definition:Distributive Operation]
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''' $*$, {{iff}}:
:$\circ$ is right distributive over $*$
and:
:$\circ$ is left distributive over $*$.
\end{definition}