Eine total geordnete Menge ( M , ≤ ) {\displaystyle {}(M,\leq )} ist stets ein Verband, da ja zu zwei Elementen x , y ∈ M {\displaystyle {}x,y\in M} das eine Element das Minimum und das andere das Maximum der beiden ist.
