Definition:Negative Real Function

Definition

Let $I$ be a real interval.

Let $f$ be a real function.

Then $f$ is negative (on $I$) if and only if:

$\forall x \in I: \map f x \le 0$

Also known as

A negative real function is also described as non-positive in order to avoid confusing with a strictly negative real function.