Lebesgue integration
Relation to Lebesgue integration.