## 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)$