Soit $(X,\mathcal{A},\mu)$ un espace mesuré fini. Si $(f_n)$ est une suite de fonctions mesurables de $X$ dans $\mathbb{R}$ qui converge $\mu$-presque partout vers $f$ mesurable. Alors pour tout $\varepsilon>0$, il existe $A\in\mathcal{A}$ tel que $\mu(A)\leq \varepsilon$ et $(f_n)$ converge uniformément vers $f$ sur $A^c$.