PlanetPhysics/Polish Group

Let $$G$$ be a topological group regarded as a topological space. Then $$G$$ is defined to be a Polish group if it is also a Polish space.