PIV · 6542
infim/o
infim/o ∆ (pp aro de reelaj nombroj) La plej granda suba baro de la aro; simb.: inf: la infimo de ĉiuj pozitivaj nombroj estas nul. ☞ supremo, minimumo.
limesa infimo (pp funkcio) La plej malgranda akumuliĝa punkto, kiam la variablo strebas al donita punkto; simb.: lim inf.