Assertion: metric space | /r/HasProperty | tychonoff
Facets:
Source sentences:
text: Every metric space is Hausdorff and paracompact (and hence normal and Tychonoff).