,"d")为一个可分度量空间（例如实数，度量为通常的距离"d"("a","b") = |"a" − "b"|）。给定某个测度空间("X",Σ,μ)上的"M"-值可测函数的序列("f")，以及一个有限μ-测度的可测子集"A"，使得("f")在"A"上μ-几乎处处收敛于极限函数"f"，那么以下结果成立：对于每一个ε > 0，都存在"A"的一个可测子集"B"，使得μ("B") < ε，且("f")在相对补集"A" \ "B"上一致收敛于"f"。在这里，μ("B")表示"B"的μ-测度。该定理说明，在"A"上几