さらに "l" の特別な元0,1と単項演算 ¬ について、以下が成り立つとき組 〈 l; ∨, ∧, ¬,0,1 〉 を可補分配束(ブール束)と呼ぶ。