complete metric space
metric space in which cauchy sequence converges to an element of the space
space form
complete Riemannian manifold of constant sectional curvature
completion
algebraic construction
F-space
topological vector space with a complete translation-invariant metric