Polish space

A Polish space is a concept from the field of topology and descriptive set theory. Specifically, a Polish space is a topological space that is separable (contains a countable dense subset) and completely metrizable (can be endowed with a metric that induces its topology and is complete, meaning every Cauchy sequence converges within the space).