度量空間中的收斂度量空間序列收斂到x,表示每個正epsilon終有所有n≥N落入x的epsilon球。atlas-metric-convergence · canonical_mko度量空間中的收斂前置節點度量空間數列量詞與明示論域