Zeige, dass das Maximum (falls existent) einer Menge reeller Zahlen eindeutig bestimmt ist.
Sei A eine Menge reeller Zahlen, die ein Maximum m besitzt.
Dann gilt für alle x∈A x≤m . #
Sei n auch ein Maximum von A, dann gilt für alle x∈A x≤n .##
Da m∈A und n∈A , gilt wegen ## m≤n und wegen # n≤m,
also m=n. q.e.d.
Analog der andere Teil: sup(M) ist die kleinste obere Schranke von M.