Assertion: metric space | /r/HasProperty | finie
Facets:
Source sentences:
text: I believe if the metric space is finie, then it has to be discrete and so the number of open sets will be some power of 2.