Definition:Profinite Group/Definition 2

Definition
Let $\struct {G, \odot, \tau}$ be a topological group. $\struct {G, \odot, \tau}$ is profinite it is compact, Hausdorff and totally disconnected.

Also see

 * Equivalence of Definitions of Profinite Group