设formula_1为实值或复值的局部可积函数，"m"为formula_2的勒贝格测度。那么formula_2中几乎处处的"x"都符合使上式成立的点称为formula_5的勒贝格点。
证明.因为这定理是关于函数的局部性质，不失一般性，可假设函数"f"定义在有界集合中，故"f"为可积函数。定义那么这定理就是对几乎处处的"x"有"Tf" = 0。只需证对任何"y" > 0，集合{"Tf" > "y"}的测度为零。对连续函数，这定理显然成立。连续函数在formula_8中稠密