Heyting algebra
完備束に対して相性のよい分配性の狭義の概念というものを考えれば、完備ハイティング代数や完備分配束といったもっと特別のクラスを定義することができる。