Definition A topological group is a group such that the group operations multiplication and inversion are continuous maps. Notes Every Lie group is a topological group.