Monotonicity of the Lebesgue integral (source code)

= Monotonicity of the Lebesgue integral

If measurable functions satisfy $f\leq g$ almost everywhere, then
$$
\int f\,d\mu\leq\int g\,d\mu
$$
whenever the two sides are defined.