\begin{definition}[Definition:Differentiable Mapping/Real Function/Interval]
Let $f$ be a real function defined on an open interval $\openint a b$.
Then $f$ is '''differentiable on $\openint a b$''' {{iff}} $f$ is differentiable at each point of $\openint a b$.
\end{definition}