可補束
可補束（英: Complemented lattice）とは、束論において、0 を最小元、1 を最大元とし、各元 "x" に補元 "y" が定義され、以下が成り立つ有界束をいう。