Integral of a non-negative function

Summary

The integral of a non-negative measurable function on a measure space is the supremum of the integrals of the simple functions that lie below it. It always exists, as a number in $[0, \infty]$. It is the first step of the Lebesgue integral, and the monotone convergence theorem and Fatou's lemma are statements about it.