Une paire d'identités booléennes qui simplifient les conjonctions et disjonctions imbriquées en « absorbant » un opérande dans une expression plus large : A ∨ (A ∧ B) = A et A ∧ (A ∨ B) = A.
Une paire d'identités dans des structures du type treillis exprimant que l'une des opérations 'absorbe' l'effet de l'autre. Formes standard : a ∨ (a ∧ b) = a et a ∧ (a ∨ b) = a.