ポーランド空間
A topological space homeomorphic to a separable complete metric space is called a Polish space.