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 Supremum von J {\displaystyle {}J} , wenn s {\displaystyle {}s} die kleinste obere Schranke von J {\displaystyle {}J} ist.
