Compact topological group
Redirect to:
Compact group