Completely metrizable space

Definition
A topological space is said to be completely metrizable (sometimes, topologically complete) if it arises as the topological space of a complete metric space, viz a metric space in which every Cauchy sequence converges.

Stronger properties

 * compact metrizable space

Weaker properties

 * Baire space