A topological group is a [[topological space]] that is also a group such that the [[binary operation]] defined on the group is a [[continuous function|continuous map]]. | A topological group is a [[topological space]] that is also a group such that the [[binary operation]] defined on the group is a [[continuous function|continuous map]]. |