topological group

Definition

A topological group $G$ is a group such that the group operations multiplication $\cdot :G\to G$ and inversion $g\mapsto g^{-1}$ are continuous maps.

Notes

Every Lie group is a topological group.