Інфімум

І́нфімум (точна нижня межа) (лат. infimum — найнижчий) підмножини S частково впорядкованої множини (P,≤) — це найбільша нижня межа S.Позначається ${\displaystyle \inf S}$.

Визначення інфімума чи супремума використовує визначення нижньої чи верхньої межі для підмножини в частково впорядкованій множині.

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

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