Let $M = (X, \mathcal{F}, \mu)$ be a D1158: Measure space such that
(i) | $G : X \to [0, \infty]$ is an D1921: Absolutely integrable function on $M$ |
(ii) | $f_0, f_1, f_2, \ldots : X \to [-\infty, \infty]$ are each a D5600: Basic Borel function on $M$ |
(iii) | \begin{equation} \forall \, n \in \mathbb{N} : |f_n| \overset{a.e.}{\leq} G \end{equation} |
(iv) | \begin{equation} \mu \{ x \in X : \lim_{n \to \infty} f_n(x) = \emptyset \} = 0 \end{equation} |
Then
\begin{equation}
\lim_{n \to \infty} \int_X f_n \, d \mu
= \int_X \lim_{n \to \infty} f_n \, d \mu
\end{equation}