Let $f : X \to [- \infty, \infty]$ be a D3180: Basic function.
Let $g : X \to [0, \infty]$ be an D4361: Unsigned basic function.

Then \begin{equation} f I_{\{ f < g \}} \leq g \end{equation}