Definition:Negative Real Function

From ProofWiki
Jump to navigation Jump to search

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.


Also see