Assertion: compact metric space | /r/HasProperty | complete
Facets:
Source sentences:
text: Each compact metric space is complete, but the converse is false; the simplest example is an infinite discrete space with the trivial metric.
text: Every compact metric space is complete, though complete spaces need not be compact.
text: Every compact metric space is complete; the real line is non-compact but complete; the open interval (0,1) is incomplete.
text: A compact metric space is complete.
text: Every compact metric space is complete.
text: Compact metric spaces are complete.