\begin{definition}[Definition:Distributive Operation/Left]
Let $S$ be a set on which is defined ''two'' binary operations, defined on all the elements of $S \times S$, denoted here as $\circ$ and $*$.
The operation $\circ$ is '''left distributive''' over the operation $*$ {{iff}}:
:$\forall a, b, c \in S: a \circ \paren {b * c} = \paren {a \circ b} * \paren {a \circ c}$
\end{definition}