topological group in Polish

(topology) A group which is also a topological space and whose group operations are continuous functions.