これは論理否定の束論における類似物として導入された。上で可能な全ての単項演算のなかで特別なものであるわけでもない。可補束がさらに分配的でもあるならば、それはブール代数である。分配束に対しては、補元は存在すれば一意である。ハイティング代数は、その元が必ずしも補元を持つとは限らない分配束の例である。表される元を必ず持つ。中で最大のものである。ハイティング代数の各元が持つ擬補元が、実際には補元であるとき、そのハイティング代数は実はブール代数である。同じ交わりと結びによって再び束となるようなものをいう。