Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Absorption law
Summary
In algebra, the absorption law or absorption identity is an identity linking a pair of binary operations.
Two binary operations, ¤ 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") that are connected by the absorption law is called a lattice; in this case, both operations are necessarily idempotent.
Examples of lattices include Heyting algebras and Boolean algebras, in particular sets of sets with union and intersection operators, and ordered sets with min and max operations.
In classical logic, and in particular Boolean algebra, the operations OR and AND, which are also denoted by and , satisfy the lattice axioms, including the absorption law. The same is true for intuitionistic logic.
The absorption law does not hold in many other algebraic structures, such as commutative rings, e.g. the field of real numbers, 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.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.