\begin{definition}[Definition:Negative Real Function]
Let $I$ be a real interval.
Let $f$ be a real function.
Then $f$ is '''negative (on $I$)''' {{iff}}:
:$\forall x \in I: \map f x \le 0$
\end{definition}