Супремум (точна верхня межа) ( — найвищий) підмножини S частково впорядкованої множини (P,≤) — це найменша верхня межа S. Позначається .
Визначення
Визначення інфімума чи супремума використовує визначення нижньої чи верхньої межі для підмножини в частково впорядкованій множині.
Див. також Інфімум та супремум Істотний інфімум та істотний супремум Верхня та нижня межа Двоїстість (теорія порядку) Непредикативність (математика)
Література