Closed subgroup
Redirect to:
Topological group