eine totale Ordnung (Kette), in der jede nicht-leere nach oben beschränkte Menge ein Supremum bzw., was äquivalent dazu ist, jede nicht-leere nach unten beschränkte Menge ein Infimum besitzt.

ein VerbandV, in dem zu jeder Teilmenge M von V das Infimum von M und das Supremum von M existieren. Da insbesondere das Infimum und das Supremum von V selbst existieren, ist jeder vollständige ...