Zu einem algebraischen Verband ${\displaystyle {}(M,\sqcap ,\sqcup )}$

ist die zugehörige Ordnung in der Tat eine Ordnung, die ${\displaystyle {}x\sqcap y=\operatorname {inf} (x,y)}$ und ${\displaystyle {}x\sqcup y=\operatorname {sup} (x,y)}$ erfüllt.