\begin{definition}[Definition:Differentiable Mapping/Real Function/Point]
Let $f$ be a real function defined on an open interval $\openint a b$.
Let $\xi$ be a point in $\openint a b$.
\end{definition}