La terminología usual es sin embargo diferente: un grupo G es llamado localmente finito si cada subgrupo finitamente generado es finito.