Супремум

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

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

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

Дивись також

• Інфімум
• Верхня та нижня межа
• Відношення порядку

Література

• Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления. — Москва : Наука, 1962. — Т. 1. — 607 с.(рос.)