Folgerung.

(1) Besitzt M ein Maximum (bzw. Minimum), so ist   max M = sup M (bzw. min M = inf M).

(2) Gehören sup M (bzw. inf M) zu M, dann gilt stets   max M = sup M (bzw. min M = inf M).