Basic function negative part

▾ Set of symbols
▾ Alphabet
▾ Deduction system
▾ Theory
▾ Zermelo-Fraenkel set theory
▾ Set
▾ Binary cartesian set product
▾ Binary relation
▾ Binary endorelation
▾ Preordering relation
▾ Partial ordering relation
▾ Ordering relation
▾ Ordered set
▾ Map truncation

Basic function negative part

Formulation 1

Let $f : X \to [-\infty, \infty]$ be a D3180: Basic function.
The negative part of $f$ is the D3180: Basic function \begin{equation} f^- : X \to [-\infty, \infty], \quad f^-(x) = \max(-f(x), 0) \end{equation}