Lebesgue integration
任意の可測空間 において、実数値関数のルベーグ積分は正部分、負部分によって定義される。