Category:Absorption Laws

From ProofWiki
Jump to navigation Jump to search

This category contains results about Absorption Laws.

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

Let both $\circ$ and $*$ be commutative.


Then $\circ$ absorbs $*$ if and only if:

$\forall a, b \in S: a \circ \paren {a * b} = a$


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