Non-negative Function

Definition

Non-negative Function

A function $f:D\to f(D)$ is called non-negative if

$$\forall y\in f(D):y\ge 0.$$