Formalmente, un grupo pro-finito es límite inverso de grupos finitos.