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