Інфімум

І́нфімум (точна нижня грань) (лат. infimum — найнижчий) підмножини $X$ лінійно впорядкованої множини $M$ — найбільший елемент із $M$, який рівний або менший за всі елементи множини $X$.

Іншими словами, інфімум — це найбільша з усіх нижніх меж. Позначається $\inf X$.

Інфімум може належати або не належати множині X.

Дивись також

• Супремум
• Відношення порядку