Assertion: metric space's completion | /r/HasProperty | compact
Facets:
Source sentences:
text: It remains true (that is, the proof does not require choice) that every precompact space is totally bounded; in other words, if the completion of a space is compact, then that space is totally bounded.