\begin{definition}[Definition:Minimum Value of Real Function/Local/Strict]
Let $f$ be a real function defined on an open interval $\openint a b$.
Let $\xi \in \openint a b$.
$f$ has a '''strict local minimum at $\xi$''' {{iff}}:
:$\exists \openint c d \subseteq \openint a b: \forall x \in \openint c d: \map f x > \map f \xi$
\end{definition}