In einem algebraischen Verband ${\displaystyle {}(M,\sqcap ,\sqcup )}$ nennt man die durch

${\displaystyle {}y\geq x\,,}$

falls

${\displaystyle {}x\sqcap y=x\,,}$

definierte Ordnung, die zugehörige Ordnung.