Teilmenge M eines Verbandes (V, ≤).

Die Bezeichnung rührt daher, daß für je zwei Elemente a, b ∈ M das Supremum sup(a, b) und das Infimum inf(a, b) in der Menge M nicht definiert zu sein brauchen, d. h. daß sup(a, b) ∈ V \ M bzw. inf(a, b) ∈ V \ M gelten kann.