Assertion: connected metric space | /r/HasProperty | compact
Facets:
Source sentences:
text: Statement (but no proof) that sequentially compact metric spaces are compact.