Positive 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

Parents

Context

Maximum function, Extended real number line

Link to graph
Log In
Improvements of the human condition
limeGraphxioms