吸收律

在抽象代數中 ， 吸收律是連接一對二元運算的恆等式 。 任何兩個二元運算比如 $和 % ， 服從吸收律如果: a $( a % b ) = a % ( a $b ) = a. 運算 $和 % 被稱爲對偶對 。 設有某個集合閉合在兩個二元運算下 。 如果這些運算是交換律 、 結合律的 ， 並滿足吸收律 ， 結果的抽象代數就是格 ， 在這種情況下這兩個運算有時叫做交和並 。 因爲交換律和結合律經常是其他代數結構的性質 ， 吸收律是格的定義性質 。 由於布爾代數和 Heyting代數是格 ， 它們也服從吸收律 。 因爲經典邏輯是布爾代數的模型 ， 直覺邏輯是 Heyting代數的模型 ， 吸收律對分別指示邏輯或和邏輯與的運算 <gallery> 和 成立 ， 因此: </gallery>