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