Definition:Profinite Group/Definition 1

Definition
Let $\struct {G, \odot, \tau}$ be a topological group. $\struct {G, \odot, \tau}$ is profinite it is isomorphic to a small inverse limit of finite discrete groups, with the inverse limit topology.

Also see

 * Equivalence of Definitions of Profinite Group