Assertion: compact metric space | /r/HasProperty | bounded
Facets:
value: totally
type: DEGREE
Source sentences:
text: Every compact metric space is bounded.
text: Every compact metric space is totally bounded.