If $G$ is a compact topological group, then how can we prove that subgroups of $G$ are exactly the totally bounded groups.
$\textbf{Note}$: We call a topological group $G$, totally bounded or precompact if $G$ can be covered by finitely many translates of any neighbourhood of identity.