\begin{definition}[Definition:Profinite Group/Definition 1]
Let $\struct {G, \odot, \tau}$ be a '''topological group'''.
$\struct {G, \odot, \tau}$ is '''profinite''' {{iff}} it is isomorphic in the category of topological groups to a small inverse limit of finite discrete groups, with the limit topology.
\end{definition}