ハイティング代数
2つの二項演算について閉じている集合があるとする。これらの演算に交換法則と結合法則が成り立ち、吸収法則も成り立つ場合、これらを抽象代数学的には束と呼ぶ。また、2つの演算子を「交わり」と「結び」と呼ぶ。交換法則と結合法則は、一般的な代数的構造でも成り立つことが多いので（例えば、実数の加算と乗算など）、吸収法則が束を特徴付けていると言える。ブール代数やハイティング代数は束の一種なので、これらも吸収法則に従う。