fbpx

Неуменьшаемая верхняя граница

Определение верхней границы множества. Ограниченное множество имеет неуменьшаемую (точную) верхнюю границу. Доказательство.