Topologically complete
Redirect to:
Completely metrizable space