◀ ▲ ▶Branches / Analysis / Definition: Infimum of Extended Real Numbers
Definition: Infimum of Extended Real Numbers
Let \(D\) be a nonempty subset of the extended real numbers $\overline{\mathbb R}.$ The infimum $\inf(D)$ is the element of $\overline{\mathbb R},$ which
Mentioned in:
Definitions: 1
Proofs: 2
Thank you to the contributors under CC BYSA 4.0!
 Github:

References
Bibliography
 Forster Otto: "Analysis 1, Differential und Integralrechnung einer Veränderlichen", Vieweg Studium, 1983