Assertion: metric space | /r/HasProperty | collectionwise normal
Facets:
Source sentences:
text: Each metric space is normal and even collectionwise normal (cf.