Lebesgue integration
and conversely the latter equality implies the former by standard techniques in Lebesgue integration.