设 $\{F_j\}$ 是 $\mathbb{R}^n$ 中的有界闭子集. $G$ 是 $\mathbb{R}^n$ 中的开集.
设 $\{F_j\}$ 是 $\mathbb{R}^n$ 中的有界闭子集. $G$ 是 $\mathbb{R}^n$ 中的开集.
如果 $\cap_{j=1}^{\infty}F_j\subset G$, 则存在有限个 $F_j$, 如 $F_{j_1}, \ldots, F_{j_k}$, 使得
\[
\cap_{j=1}^{\infty}F_j\subset F_{j_1}\cap F_{j_2}\cap\cdots\cap F_{j_k}\subset G.
\]