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