Інфімум

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

Позначається .

У випадку, якщо інфімум множини S належить самій множині S, інфімум є мінімумом множини S.

Дивись також

Література

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.