Definition:Distributive Operation/Distributor
Jump to navigation
Jump to search
Definition
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 $*$.
Let $\circ$ be distributive over $*$.
Then $\circ$ is a distributor of $*$.