Definition:Infimum of Mapping/Real-Valued Function

Definition
Let $f: S \to \R$ be a real-valued function.

Let $f$ be bounded below on $S$.

Also see

 * Continuum Property, which guarantees that this infimum always exists.


 * Equivalence of Definitions of Infimum of Real-Valued Function


 * Definition:Supremum of Real-Valued Function


 * Definition:Infimum of Mapping
 * Definition:Supremum of Mapping