Aldoni tradukojn al ReVo:

infim/o

infimo

serĉi 'infimo'
[infim.0o]
MATPIV1
(de subaro `bb A` de orda aro `(bb E,le)`) La maksimumo de la aro de ĝiaj subaj baroj; alidire: la plej granda suba baro; simb. `"inf" bb A`: se ĝi ekzistas, la infimo de `bb A` povas ne aparteni al `bb A`; ĉiu reela subaro kun subaj baroj akceptas reelan infimon, sed tio ne veras en la aro de racionalaj nombroj. ANT:supremo.
Rim.: Kelkaj preferas la pli skemisman „suba limo“ kiel en [1].
angle:
greatest lower bound
ĉeĥe:
infimum
ĉine:
下确界 [xiàquèjiè]
france:
borne inférieure
germane:
Infimum, untere Grenze
hungare:
infimum
pole:
kres dolny
portugale:
ínfimo (mat.)(subst.), extremo inferior (mat.)
ruse:
точная нижняя грань
slovake:
infimum
ukraine:
точна нижня межа

limesinfimo

serĉi 'limesinfimo'
[infim.limes0o]
MAT
a)
[infim.limes0o.subaro]
[2] (de subaro el reeloj) Ĝia plej malgranda akumuliĝa punkto. ANT:limesosupremo.
b)
[infim.limes0o.funkcio]
[3] (de reela funkcio `f`, ĉe punkto `a` de ties fonto-aro) La infimo de la aro de punktoj, adheraj al `f` ĉe `a`; simb. `"lim inf"_(x to a)f(x)`. ANT:limesosupremo.
angle:
lower limit, inferior limit
france:
limite inférieure
germane:
unterer Limes, limes inferior
hungare:
limesz inferior, alsó határ
pole:
granica dolna, limes inferior
ruse:
нижний предел

administraj notoj

~o: Mankas fonto, kiu estas nek vortaro nek terminaro.
limes~o: Mankas fonto, kiu estas nek vortaro nek terminaro.