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 untere Schranke für J {\displaystyle {}J} , wenn s ≼ x {\displaystyle {}s\preccurlyeq x} für jedes x ∈ J {\displaystyle {}x\in J} gilt.
