Let $(X,\mathcal{F},\mu)$ be a \reftext{def:measure-measure-space-2026a}{measure space}.

1. (Nonnegative case.) Let $f,g:X\to[0,\infty]$ be \reftext{def:lebesgue-integral-nonnegative-2026a}{measurable} and let $c\in[0,\infty)$. Then $f+g$ and $cf$ are measurable, and

with the conventions of \ref{def:measure-measure-space-2026a}; and if $f(x)\le g(x)$ for all $x$ then $\int_X f\,d\mu\le\int_X g\,d\mu$.

2. (Integrable case.) Let $f,g:X\to\mathbb{R}$ be \reftext{def:lebesgue-integral-integrable-2026a}{integrable} and let $a,b\in\mathbb{R}$. Then $af+bg$ is integrable and

Moreover $\bigl|\int_X f\,d\mu\bigr|\le\int_X|f|\,d\mu$, and if $f(x)\le g(x)$ for all $x$ then $\int_X f\,d\mu\le\int_X g\,d\mu$.