Polish space

Definition
A Polish space is a separable completely metrizable topological space.

Weaker properties

 * Separable space
 * Completely metrizable space
 * Second-countable space

Facts
Any two uncountable Polish spaces are Borel-isomorphic, and hence, have the cardinality of the continuum.