Infimum

Järjestetyn joukon T osajoukon S infimum eli suurin alaraja on joukon T alkio, joka on suurin kaikista osajoukon S kaikkia alkioita pienemmistä tai yhtä suurista alkioista. Infimum ei välttämättä kuulu osajoukkoon S. Jos joukko sisältää pienimmän alkion eli minimin, on se myös joukon infimum. Infimum on yksikäsitteinen, jos se on olemassa.

Reaalilukujen joukon osajoukoille infimum määritellään joskus miinus äärettömyydeksi, jos se ei ole olemassa. Tällöin saatetaan sanoa, että kaikille reaalilukujoukoille on yksikäsitteinen infimum.

Jos on järjestetty joukko, niin sen infimumia merkitään symbolilla

, tai .

Vähenevän lukujonon , jolle siis , infimumia voi merkitä symbolilla

.
Muilla kielillä
العربية: إنفيموم
čeština: Infimum
dansk: Infimum
Deutsch: Infimum
Ελληνικά: Infimum
한국어: 하한
íslenska: Undirtala
latviešu: Infims
Nederlands: Infimum
norsk nynorsk: Infimum
slovenčina: Infimum
svenska: Infimum
українська: Інфімум
中文: 最大下界