Eine auf einer Menge M {\displaystyle {}M} definierte Funktion
heißt nichtnegativ, wenn f ( x ) ≥ 0 {\displaystyle {}f(x)\geq 0} ist für alle x ∈ M {\displaystyle {}x\in M} , und positiv, wenn f ( x ) > 0 {\displaystyle {}f(x)>0} ist für alle x ∈ M {\displaystyle {}x\in M} .