Definition:Connection by Absorption

Definition

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

The operations $\circ$ and $*$ are connected by the absorption law, or connected by absorption, iff:

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