Es sei M ⊆ K {\displaystyle {}M\subseteq K} eine Teilmenge eines angeordneten Körpers K {\displaystyle {}K} . 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.
