Zu einem algebraischen Verband ( M , ⊓ , ⊔ ) {\displaystyle {}(M,\sqcap ,\sqcup )}
ist die zugehörige Ordnung in der Tat eine Ordnung, die x ⊓ y = inf ( x , y ) {\displaystyle {}x\sqcap y=\operatorname {inf} (x,y)} und x ⊔ y = sup ( x , y ) {\displaystyle {}x\sqcup y=\operatorname {sup} (x,y)} erfüllt.