Assertion: metric space | /r/HasProperty | first-countable
Facets:
Source sentences:
text: Every metric space is first-countable.