In algebra, the absorption law or absorption identity is an identity linking a pair of binary operations.
Two binary operations, say ¤ and *, are said to be connected by the absorption law if:
- a ¤ (a * b) = a * (a ¤ b) = a.
A set equipped with two commutative and associative binary operations ∨ ("join") and ∧ ("meet") which are connected by the absorption law
- a ∨ (a ∧ b) = a ∧ (a ∨ b) = a
is called a lattice. Examples of lattices include Boolean algebras and Heyting algebras.
In classical logic, and in particular in Boolean algebra, the operations OR and AND, which are also denoted by and, also satisfy the lattice axioms, including the absorption law. The same is true for intuitionistic logic.
The commutative and associative laws also hold for addition and multiplication in commutative rings, e.g. in the field of real numbers. The absorption law is the critical property that is missing in this case, since in general a · (a + b) ≠ a and a + (a · b) ≠ a.
The absorption law also fails to hold for relevance logics, linear logics, and substructural logics. In the last case, there is no one-to-one correspondence between the free variables of the defining pair of identities.
Famous quotes containing the words absorption and/or law:
“The radio ... goes on early in the morning and is listened to at all hours of the day, until nine, ten and often eleven o’clock in the evening. This is certainly a sign that the grown-ups have infinite patience, but it also means that the power of absorption of their brains is pretty limited, with exceptions, of course—I don’t want to hurt anyone’s feelings. One or two news bulletins would be ample per day! But the old geese, well—I’ve said my piece!”
—Anne Frank (1929–1945)
“From the war of nature, from famine and death, the most exalted object which we are capable of conceiving, namely, the production of the higher animals, directly follows. There is grandeur in this view of life, with its several powers, having been breathed into a few forms or into one; and that, whilst this planet has gone cycling on according to the fixed law of gravity, from so simple a beginning endless forms most beautiful and most wonderful have been, and are being, evolved.”
—Charles Darwin (1809–1882)