Geordnete Menge/Teilmenge/Supremum/Definition

Supremum

Sei ${}(I,\preccurlyeq )$ eine geordnete Menge und ${}J\subseteq I$ eine Teilmenge. Ein Element ${}s\in I$ heißt Supremum von ${}J$, wenn ${}s$ die kleinste obere Schranke von ${}J$ ist.