110代数formula_111以及formula_111上的一个测度formula_113，那么对于formula_111中的一个元素formula_115，定义指示函数formula_116关于测度formula_113的积分为：再定义可测的非负简单函数formula_119（其中 formula_120）的积分为：对于一般的函数formula_122，如果对每个区间formula_123，都满足 formula_124，那么测度论中定义formula_125是可测函数。对于一个非负的可测函数fo