Let $f, g : X \to [-\infty, \infty]$ each be a D3180: Basic function.

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