Lebesgue integral (source code)

= Lebesgue integral
{wiki}

The Lebesgue integral of a nonnegative measurable function is the supremum of the integrals of nonnegative simple functions below it. Integrable real and complex functions are then defined from their positive, negative, real, and imaginary parts.