Verband/Algebraisch/Ordnung/Fakt

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

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

Zum Beweis, Alternativen Beweis erstellen