Assertion: metric space | /r/CapableOf | satisfy first axiom of countability
Facets:
value: always
type: DEGREE
Source sentences:
text: A metric space need not have a countable base, but it always satisfies the first axiom of countability: it has a countable base at each point.