Assertion: complete metric space | /r/HasAspect | countable dense subset
Facets:
Source sentences:
text: In the mathematical discipline of general topology, a Polish space is a separable completely metrizable topological space; that is, a space homeomorphic to a complete metric space that has a countable dense subset.