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