Eine geordnete Menge ( M , ≤ ) {\displaystyle {}(M,\leq )} mit der Eigenschaft, dass für je zwei Elemente x , y ∈ M {\displaystyle {}x,y\in M} ein Infimum x ⊓ y {\displaystyle {}x\sqcap y} und ein Supremum x ⊔ y {\displaystyle {}x\sqcup y} existiert, heißt Verband.
