Точная верхняя грань

[student1138]

Цитата:

Понятно ли, при чём тут был вспомогательный вопрос про наименьший элемент и точную нижнюю грань?

Вроде понятно. Точная верхняя грань является наименьшим элементом множества верхних граней. А значит точной нижней гранью этого множества, как доказано выше.

[Mikhail_K]

Верно!