Element s einer mit der Partialordnung „≤“ versehenen Menge M und einer Menge N ⊆ M so, daß s das kleinste Element der Menge der oberen Schranken der Menge N ist.

s heißt dann obere Grenze der Menge N.

Siehe auch Ordnungsrelation.