Integral of Positive Simple Function is Increasing

Theorem
Let $\left({X, \Sigma, \mu}\right)$ be a measure space.

Let $f, g: X \to \R$, $f, g \in \mathcal{E}^+$ be positive simple functions.

Suppose that:
 * $f \le g$

where $\le$ denotes pointwise inequality.

Then:


 * $I_\mu \left({f}\right) \le I_\mu \left({g}\right)$

where $I_\mu$ denotes $\mu$-integration

This can be summarized by saying that $I_\mu$ is an increasing mapping.