ルベーグ積分
both formula_3 and formula_4 must be finite. In Lebesgue integration, this is exactly the requirement for any measurable function "f" to be considered integrable, with the integral then equaling formula_5, so that in fact "absolutely integrable" means the same thing as "Lebesgue integrable" for measurable functions.