Definition:Profinite Group/Definition 1

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

Also see

 * Equivalence of Definitions of Profinite Group