This is an old revision of the document!

Negative part of a function

Definition

$f:X\to \overline{\mathbb R}$
$f^-:X\to \overline{\mathbb R}$
$ f^-(x) := \mathrm{max}(-f(x),0)$

Discussion

Notice that $f^-(x)\ge 0$.

Context

Requirements

Maximum function, Extended real number line

Link to graph
Log In
Improvements of the human condition
limeGraphxioms