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}