定理1 下面的三个陈述是等价的: P 0 P _ { 0 } P0 是 E E E 的 聚点; 在 P 0 P _ { 0 } P0 的任一邻域内,至少含有一个属于 E E E 而 异于 P 0 P _ { 0 } P0 的点; 存在 E E E 中互异的点所成点列 { P n } , \left\{ P _ { n } \right\} , { Pn}, 使 P n → P 0 ( n → ∞ ) . P _ { n } \rightarrow P _ { 0 } ( n \rightarrow \infty ) . P