Real numbers/Subset/Infimum/Definition

Infimum

For a nonempty subset ${}M\subseteq \mathbb {R}$, a lower bound ${}t$ of ${}M$ is called the infimum of ${}M$, if ${}t\geq s$ holds for all lower bounds ${}s$ of ${}M$.