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