Negative part of a function

Set

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

Discussion

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

Parents

Context

Maximum function, Extended real number line

Link to graph
Log In
Improvements of the human condition
limeGraphxioms