Nech $y = f(x), x \in D(f), M \subset D(f)$, potom $$\displaystyle{\inf f(x) = \inf \{f(x); x\in D(f)\} }$$ nazývame infimom funkcie $f.$
Blaško, R: Matematická analýza 1. Žilina: EDIS 2009