Let $X$ be a D11: Set such that
(i) | $\mathcal{F}$ is a D84: Sigma-algebra on $X$ |
(ii) | \begin{equation} E_0, E_1, E_2, \ldots \in \mathcal{F} \end{equation} |
Then
\begin{equation}
\bigcap_{n \in \mathbb{N}} E_n \in \mathcal{F}
\end{equation}