Topological group (source code)

= Topological group
{wiki}

A topological group is a group whose multiplication and inversion maps are continuous.