Eine untere Schranke ${\displaystyle {}t}$ von ${\displaystyle {}M}$ heißt das Infimum von ${\displaystyle {}M}$, wenn ${\displaystyle {}t\geq s}$ für alle unteren Schranken ${\displaystyle {}s}$ von ${\displaystyle {}M}$ gilt.