Geordnete Menge/Teilmenge/Untere Schranke/Definition

Untere Schranke

Es sei $(I,\preccurlyeq )$ eine geordnete Menge und  $J\subseteq I$  eine Teilmenge. Ein Element  $s\in I$  heißt untere Schranke für $J$, wenn  $s\preccurlyeq x$  für jedes  $x\in J$  gilt.