Polish space
A Polish space
is a topological space
that is homeomorphic
to some complete
separable metric space.
Equivalently, a topological space is a Polish space if it is separable and completely metrizable.
Examples of Polish spaces are the euclidean space (with the usual topology), the Cantor space, and the Baire space (http://planetmath.org/BaireSpace2).