:运算 $ 和 % 被称为对偶对。设有某个集合闭合在两个二元运算下。如果这些运算是交换律、结合律的，并满足吸收律，结果的抽象代数就是格，在这种情况下这两个运算有时叫做交和并。因为交换律和结合律经常是其他代数结构的性质，吸收律是格的定义性质。由于布尔代数和 Heyting代数是格，它们也服从吸收律。因为经典逻辑是布尔代数的模型，直觉逻辑是 Heyting代数的模型，吸收律对分别指示逻辑或和逻辑与的运算 
吸收律的证明. formula_1(P ∨ 0) ∧ (P ∨