Definition:Polish Space

Definition
A Polish space is a topological space which is separable and metrizable, with a metric that makes it a complete metric space.