吸收律简述设有某个集合闭合在两个二元运算下
如果这些运算是交换律、结合律的，并满足吸收律，结果的抽象代数就是格，在这种情况下这两个运算有时叫做交和并
因为交换律和结合律经常是其他代数结构的性质，吸收律是格的定义性质
由于布尔代数和 Heyting代数是格，它们也服从吸收律
因为经典逻辑是布尔代数的模型，直觉逻辑是 Heyting代数的模型，吸收律对分别指示逻辑或和逻辑与的运算
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
