Compact topological group (source code)

= Compact topological group
{wiki=Compact_group}

A compact topological group is a <topological group> whose underlying topological space is compact and Hausdorff.