Definition:Distributive Operation/Right

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


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

Also see

 * Definition:Left Distributive
 * Definition:Distributive