infimum

In de verzamelingenleer, een deelgebied van de wiskunde, is het infimum (meervoud infima) van een deelverzameling van enige verzameling het grootste element (niet noodzakelijkerwijs in de deelverzameling) dat kleiner of gelijk is dan alle elementen in deze deelverzameling. Bijgevolg wordt de term grootste ondergrens (ook wel afgekort als gog of GOG) vaak gebruikt. Infima van reële getallen zijn een veelvoorkomend speciaal geval die vooral belangrijk zijn in de analyse. De algemene definitie blijft echter geldig in de meer abstracte setting van de ordetheorie, waar willekeurige gedeeltelijk geordende verzamelingen worden beschouwd.