# 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.