完備一様空間（英語版）:一様空間が完備であるとは、その空間内の任意のコーシーネット（コーシー有向点族）が収束するときに言う。
完备空间或者完备度量空间是具有下述性质的空间：空间中的任何柯西序列都收敛在该空间之内。