Definition:Local Minimum in Set of Reals
Jump to navigation
Jump to search
Definition
Let $X$ be a subset of $\R$, the set of all real numbers.
Let $x \in X$.
Then $x$ is local minimum in set $X$ if and only if:
- $\exists y \in \R: y < x \land \openint y x \cap X = \O$
Sources
- Mizar article TOPGEN_3:def 3