Sei ${\displaystyle {}(I,\preccurlyeq )}$ eine geordnete Menge und ${\displaystyle {}J\subseteq I}$ eine Teilmenge. Ein Element ${\displaystyle {}s\in I}$ heißt obere Schranke für ${\displaystyle {}J}$, wenn ${\displaystyle {}y\preccurlyeq s}$ für jedes ${\displaystyle {}y\in J}$ gilt.