设 E ⊂ R 2 E \subset \mathbf{R}^{2} E⊂R2 为有界无限点集, 则 E E E 在 R 2 \mathbf{R}^{2} R2 中至少有一个聚点.
证 现用闭域套定理来证明. 由于 E E E 是平面有界集合,因此存在一个闭正方形 D 1 D_{1} D1 包含它. 连接正方形对边中点, 把 D 1 D_{1} D1分成四个小的闭正方形,则在这四个小闭正方形中,至少有一个小闭正方形含有 E E E中无限多个点. 记这个小闭正方形为 D 2 D_{2} D2. 再对正方形 D 2 D_{2}