Definition:Self-Distributive Operation/Left

Definition
Let $\circ$ be a binary operation on the set $S$.

$\circ$ is left self-distributive :
 * $\forall a, b, c \in S: a \circ \paren {b \circ c} = \paren {a \circ b} \circ \paren {a \circ c}$

Also known as
Some sources use the term left distributive over itself

Also see

 * Definition:Right Self-Distributive Operation