Absorption Law

The law appearing in the definition of a Boolean Algebra which states

$$a\land (a\lor b)=a\lor (a\land b)=a$$

for binary operators $\lor$ and $\land$ (which most commonly are logical Or and logical And).

See also Boolean Algebra, Lattice

References

Birkhoff, G. and Mac Lane, S. A Survey of Modern Algebra, 3rd ed. New York: Macmillian, p. 317, 1965.