Інфімум

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

Визначення

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

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

Література