In de ordetheorie, een deelgebied van de wiskunde, is het infimum of grootste ondergrens, meervoud infima, van een deelverzameling van enige verzameling met een partiële ordening het grootste element dat kleiner is dan of gelijk is aan alle elementen in deze deelverzameling. Het infimum hoeft zelf geen element van de deelverzameling te zijn, maar is dus wel de grootste ondergrens van de betreffende deelverzameling. Infima van reële getallen zijn een veelvoorkomend speciaal geval die vooral belangrijk zijn in de analyse.

Verzameling met negen elementen, de cirkels
 deelverzameling

Het infimum en het minimum van een eindige verzameling zijn aan elkaar gelijk. Het infimum heeft als duale begrip het supremum.

Definitie

bewerken

Het infimum of de grootste ondergrens kan worden gedefinieerd door nevenstaande definitie:

  is het infimum van de rij  

De waarde van   moet dus met andere woorden zodanig worden gekozen dat   heel dicht tegen het infimum licht, maar er nooit onder.

Reële getallen

bewerken

In de analyse wordt het infimum of de grootste ondergrens van een deelverzameling   van de reële getallen aangeduid door   en wordt dit infimum gedefinieerd als het grootste reële getal dat kleiner is dan of gelijk is aan elk getal in  . Als er niet zo'n getal bestaat, omdat   niet van onderen is begrensd, dan definieert men  . Als   de lege verzameling is, definieert men  .

Iedere willekeurige gekozen verzameling van reële getallen heeft een infimum.

Voorbeelden:

 
 
 
 

Als een verzameling een kleinste element heeft, zoals in het eerste voorbeeld, dan is het kleinste element het infimum voor de verzameling. Als het infimum deel uitmaakt van de verzameling, dan is het het minimum van die verzameling. Zoals de laatste drie voorbeelden laten zien, hoeft het infimum van een verzameling zelf niet tot de verzameling te behoren.