Eine auf einer Menge ${\displaystyle {}M}$ definierte Funktion

${\displaystyle f\colon M\longrightarrow \mathbb {R} }$

heißt nichtnegativ, wenn ${\displaystyle {}f(x)\geq 0}$ ist für alle ${\displaystyle {}x\in M}$, und positiv, wenn ${\displaystyle {}f(x)>0}$ ist für alle ${\displaystyle {}x\in M}$.