Assertion: metric space | /r/HasProperty | paracompact
Facets:
Source sentences:
text: Research into the topological properties of metric spaces is, to a large extent, based on the following theorem of A.H. Stone: A metric space is paracompact, that is, any open covering $\gamma$ has an open locally finite refinement $\lambda$
text: Every metric space is Hausdorff and paracompact (and hence normal and Tychonoff).