Зако́ны поглоще́ния, тождества вида

$$x \wedge(x \vee y)=x,\quad x \vee(x \wedge y)=x,$$где $\wedge$ и $\vee$ – 2 двуместные операции на некотором множестве $L$. Если, кроме законов поглощения, эти операции удовлетворяют законам коммутативности и ассоциативности, то отношение $x \leqslant y$, определяемое эквивалентностью
$$\tag{*} x \leqslant y \leftrightarrow x \vee y=y$$(или равносильной эквивалентностью $x \leqslant y \leftrightarrow x \wedge y=x$), будет порядковым отношением таким, что $x \wedge y$ – наибольшая нижняя грань, а $x \vee y$ – наименьшая верхняя грань элементов $x$ и $y$. С другой стороны, если в упорядоченном множестве $(L, \leqslant)$ существуют наибольшая нижняя грань $x \wedge y$ и наименьшая верхняя грань $x \vee y$ для любой пары элементов $x, y$, то для операций $\vee$ и $\wedge$ выполняются законы поглощения, коммутативности, ассоциативности и справедлива эквивалентность $(*)$.