Geordnete Menge/Teilmenge/Obere Schranke/Definition

Obere Schranke

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