)上的"M"-值可测函数的序列("f")，以及一个有限μ-测度的可测子集"A"，使得("f")在"A"上μ-几乎处处收敛于极限函数"f"，那么以下结果成立：对于每一个ε > 0，都存在"A"的一个可测子集"B"，使得μ("B") < ε，且("f")在相对补集"A" \ "B"上一致收敛于"f"。在这里，μ("B")表示"B"的μ-测度。该定理说明，在"A"上几乎处处逐点收敛，意味着除了在任意小测度的某个子集"B"外一致收敛。这种收敛又称为几乎一致收敛。
假设的讨论.注意μ("