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