Cauchy completion

1. REDIRECT Complete metric space#Completion

{{Redirect category shell|1=

{{R to section}}

}}