Polish space

Etymology
They were first extensively studied by Polish topologists and logicians, such as Sierpiński, Kuratowski, and Tarski.

Noun

 * 1)  A separable, completely metrizable topological space
 * $$\mathbb{R}^n$$ is a Polish space