Absorption law

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 set equipped with two commutative, associative and idempotent binary operations ${\displaystyle \scriptstyle \lor }$ ("join") and ${\displaystyle \scriptstyle \land }$ ("meet") that are connected by the absorption law is called a lattice.

Examples of lattices include Boolean algebras, the set of sets with union and intersection operators, Heyting algebras, and ordered sets with min and max operations.

...
Wikipedia