吸收律

出现在 布尔代数 和 格 的定义中的定律，其阐述了

对于二元运算符 和 (它们通常是逻辑 或 和逻辑 与)。吸收律的两个部分有时被称为“吸收恒等式”（Grätzer 1971, p. 5）。