Lebesgue integration (source code)

= Lebesgue integration
{wiki}

Lebesgue integration constructs an integral from the measure of level sets or from approximation by simple functions. It is linear on integrable functions and is stable under the principal convergence theorems of <measure theory>.