Assertion: bounded metric space | /r/HasProperty | separable
Facets:
value: in particular , all compact metric spaces
type: OTHER
Source sentences:
text: All totally-bounded metric spaces (in particular, all compact metric spaces) are separable and have a countable base.