吸收律 在抽象代数中吸收律是连接一对二元运算的恒等式 任何两个二元运算比如  和 服从吸收律如果 a  a  b  a  a  b  a 运算  和  被称为对偶对 设有某个集合闭合在两个二元运算下如果这些运算是交换律结合律的并满足吸收律结果的抽象代数就是格在这种情况下这两个运算有时叫做交和并因为交换律和结合律经常是其他代数结构的性质吸收律是格的定义性质由于布尔代数和 Heyting代数是格它们也服从吸收律 因为经典逻辑是布尔代数的模型直觉逻辑是 Heyting代数的模型吸收律对分别指示逻辑或和逻辑与的运算