Lebesgue integration
前述のように、これは広義積分として定義しなくとも、代わりにルベーグ積分としても定義できる。