Polish space
= Polish space
{c}
{wiki}
A Polish space is a <topological space> whose topology can be induced by a complete separable metric. The completeness requirement concerns some compatible metric; it need not hold for every metric inducing the topology. Euclidean spaces are examples.