Category:Distributive Operations

This category contains results about Distributive Operations.
Definitions specific to this category can be found in Definitions/Distributive Operations.

Let $S$ be a set on which is defined two binary operations, defined on all the elements of $S \times S$, which we will denote as $\circ$ and $*$.

The operation $\circ$ is distributive over $*$, or distributes over $*$, if and only if:

$\circ$ is right distributive over $*$

and:

$\circ$ is left distributive over $*$.