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).