Assertion: metric space | /r/HasAspect | countable dense subset
Facets:
Source sentences:
text: A metric space is separable space if it has a countable dense subset.