Ein beschränkter Verband M {\displaystyle {}M} heißt komplementär, wenn es zu jedem x ∈ M {\displaystyle {}x\in M} ein y ∈ M {\displaystyle {}y\in M} mit x ⊓ y = 0 {\displaystyle {}x\sqcap y=0} und x ⊔ y = 1 {\displaystyle {}x\sqcup y=1} gibt.
