可補束
可補束(英: Complemented lattice)とは、束論において、0 を最小元、1 を最大元とし、各元 x に補元 y が定義され、以下が成り立つ有界束をいう。
x ∧ y = 0 {\displaystyle x\wedge y=0} and x ∨ y = 1. {\displaystyle \quad x\vee y=1.}