ルベーグ積分
and conversely the latter equality implies the former by standard techniques in Lebesgue integration.