Es sei M ⊆ K {\displaystyle {}M\subseteq K} eine Teilmenge eines angeordneten Körpers K {\displaystyle {}K} . Ein Element t ∈ M {\displaystyle {}t\in M} mit x ≥ t {\displaystyle {}x\geq t} für alle x ∈ M {\displaystyle {}x\in M} heißt Minimum von M {\displaystyle {}M} .
