\begin{definition}[Definition:Distributive Operation/Distributand]
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 $*$.
Let $\circ$ be distributive over $*$.
Then $*$ is a '''distributand''' of $\circ$.
\end{definition}