Existe la noción de grupo ind-finito, que es la dual de grupo pro-finito.