Assertion: metric space | /r/HasProperty | countable
Facets:
Source sentences:
text: Metric spaces are first countable since one can use balls with rational radius as a neighborhood base.