Definition:Distributive Operation/Right

From ProofWiki
Jump to navigation Jump to search


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 $*$ if and only if:

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

Also see