Heyting algebra
ハイティング代数は、その元が必ずしも補元を持つとは限らない分配束の例である。しかし、ハイティング代数の各元 "x" は擬補元 (pseudo-complement) と呼ばれる、やはり ¬"x" で表される元を必ず持つ。この擬補元は "x" ∧ "y" = 0 となるような "y" の中で最大のものである。ハイティング代数の各元が持つ擬補元が、実際には補元であるとき、そのハイティング代数は実はブール代数である。