= AbsorbtionLaw =

From [[http://mathworld.wolfram.com/AbsorptionLaw.html]]

The absorbtion law states: 
$$a \wedge ( a \vee b ) = a \vee (a \wedge b) = a$$

for binary operators $$\vee$$ and $$\wedge$$ (most commonly as logical OR / AND).

In this sense, $$a$$ absorbs $$b$$.