关于度量空间收敛点列的极限是唯一的
出自:泛涵分析