\begin{definition}[Definition:Polish Space]
A '''Polish space''' is a topological space which is separable and metrizable, with a metric that makes it a complete metric space.
Category:Definitions/Descriptive Set Theory
Category:Definitions/Topology
Category:Definitions/Metric Spaces
\end{definition}