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