Definition:Self-Distributive Operation

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

$\circ$ is self-distributive :
 * $(1): \quad \circ$ is left self-distributive

and:
 * $(2): \quad \circ$ is right self-distributive.

Also defined as
The term self-distributive operation is sometimes seen to be used for operations for which only one of the above holds.

Also see

 * Self-Distributive Law for Conditional