Definition:Profinite Group

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

Also see

 * Equivalence of Definitions of Profinite Group
 * Definition:Category of Profinite Groups