Assertion: metric space | /r/HasProperty | paracompact hausdorff spaces
Facets:
Source sentences:
text: Metric spaces are paracompact Hausdorff spaces and hence normal (indeed they are perfectly normal).