Definition:Distributive Operation/Left

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 left distributive over the operation $*$ iff:


 * $\forall a, b, c \in S: a \circ \left({b * c}\right) = \left({a \circ b}\right) * \left({a \circ c}\right)$

Also see

 * Right Distributive
 * Distributive