Cauchy序列度量空間序列為Cauchy，若每個正epsilon最終所有兩項彼此距離皆小於epsilon。atlas-cauchy-sequence · canonical_mkoCauchy序列前置節點度量空間數列量詞與明示論域