Geordnete Menge/Teilmenge/Infimum/Definition

Infimum

Es sei ${}(I,\preccurlyeq )$ eine geordnete Menge und ${}J\subseteq I$ eine Teilmenge. Ein Element ${}s\in I$ heißt Infimum von ${}J$, wenn ${}s$ die größte untere Schranke von ${}J$ ist.