Супремум

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

Супремум (точна верхня грань) (лат. supremum — найвищий) підмножини S частково впорядкованої множини (P,≤) — це найменша верхня межа S. Тобто найменший елемент з P, що є більшим або рівним за всіх елементи з S.

Позначається  \sup S .

У випадку, якщо супремум множини S належить самій множині S, супремум є максимумом множини S.

Дивись також[ред.ред. код]

Література[ред.ред. код]