Definition:Compact Topological Group

Definition
Let $\struct {G, \odot, \tau}$ be a topological group.

We say that $\struct {G, \odot, \tau}$ is a compact topological group $\struct {G, \tau}$ is compact and Hausdorff.