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