Zu einer nichleeren Teilmenge ${\displaystyle {}M\subseteq \mathbb {R} }$ heißt eine untere Schranke ${\displaystyle {}t}$ von ${\displaystyle {}M}$ das Infimum von ${\displaystyle {}M}$, wenn ${\displaystyle {}t\geq s}$ für alle unteren Schranken ${\displaystyle {}s}$ von ${\displaystyle {}M}$ gilt.