A topological group is a [[topological space]] that is also a group such that the [[binary operation]] defined on the group is a 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 map. |