ルベーグ積分
is defined as in Lebesgue integration. (Note that some of the properties of the Lebesgue integral fail here, since our measure is only finitely additive.)