Todo grupo pro-finito es totalmente disconexo y más aún: un grupo topológico es pro-finito si y solamente si es Hausdorff, compacto y totalmente disconexo.