Супремум

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

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

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

Дивись також

• Інфімум
• Верхня та нижня межа
• Відношення порядку
• Непредикативність (математика)

Література

• Григорій Михайлович Фіхтенгольц. Курс диференціального та інтегрального числення. — 2024. — 2200+ с.(укр.)
• Биркгоф Г. Теория решёток / пер. с англ. В. Н. Салий ; под ред. Л. А. Скорнякова. — 3-е изд. — Москва : Наука, 1984. — 568 с.(рос.)