Completion (topology)
Redirect to:
Complete metric space