Assertion: compact metric space | /r/HasProperty | compact
Facets:
value: sequentially
type: MANNER
value: clearly
type: DEGREE
value: locally
type: MANNER
Source sentences:
text: Clearly, every compact metric space is locally compact.
text: Compact metric spaces are sequentially compact.