Lebesgue integration
で定義することは通常のルベーグ積分と全く同じである。