Definition:Absorption Law

Definition
Let $\left({S, \circ, *}\right)$ be an algebraic structure.

Suppose that both $\circ$ and $*$ are commutative.

Then $\circ$ absorbs $*$ iff:


 * $\forall a,b \in S: a \circ \left({a * b}\right) = a$

This equality is called the absorption law of $\circ$ for $*$.