Category:Operation over which Every Commutative Associative Operation is Distributive is either Left or Right Operation

This category contains pages concerning Operation over which Every Commutative Associative Operation is Distributive is either Left or Right Operation:

Let $\struct {S, \circ}$ be an algebraic structure.

Let $\circ$ be such that every operation on $S$ which is both commutative and associative is distributive over $\circ$.

Then $\circ$ is either the left operation $\gets$ or the right operation $\to$.