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$, denoted here as $\circ$ and $*$. The operation $\circ$ is left distributive over the operation $*$ :


 * $\forall a, b, c \in S: a \circ \paren {b * c} = \paren {a \circ b} * \paren {a \circ c}$

Also see

 * Definition:Right Distributive Operation
 * Definition:Distributive Operation