Інфімум

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

Визначення

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

Див. також

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

Література

• Шаблон:Фіхтенгольц.укр
• Шаблон:Биркгоф.Теория решёток