eine Teilmenge N der mit der Ordnungsrelation „“ versehenen Menge M mit der Eigenschaft, daß N eine untere Schranke s hat. Dies ist genau dann der Fall, wenn es ein Element s ∈ M so gibt, daß s ≤ n für alle n ∈ N gilt.