A pair of Boolean identities that simplify nested conjunctions and disjunctions by 'absorbing' one operand into a larger expression: A ∨ (A ∧ B) = A and A ∧ (A ∨ B) = A.
A pair of identities in lattice-like structures expressing that one operation 'absorbs' the effect of the other. Standard forms in a lattice are a ∨ (a ∧ b) = a and a ∧ (a ∨ b) = a.