Definition:Distributive Operation/Distributand

From ProofWiki
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 $*$ is a distributand of $\circ$.