Ограниченное сверху множество. Супремум множества1) Точной (наименьшей) верхней гранью (границей), или супре́мумом подмножества Более формально:
Либо 2) Пусть X – линейно упорядоченное множество с отношением >= и Y ⊆ X. Элемент m ∈ X называется верхней границей множества Y, если m > y для любого y ∈ Y. Элемент m ∈ X называется точной верхней гранью множества Y, если он является верхней границей этого множества и для любой другой верхней границы m0 выполнено неравенство m0> m. Точная верхняя грань обозначается supY или sup y∈Yy и по другому называется супремумом множества Y.
|
упорядоченного множества (или класса) 
, называется наименьший элемент 
.
— множество верхних граней 
