Es sei M ⊆ K {\displaystyle {}M\subseteq K} eine Teilmenge eines angeordneten Körpers K {\displaystyle {}K} . Eine obere Schranke T {\displaystyle {}T} von M {\displaystyle {}M} heißt das Supremum von M {\displaystyle {}M} , wenn T ≤ S {\displaystyle {}T\leq S} für alle oberen Schranken S {\displaystyle {}S} von M {\displaystyle {}M} gilt.
