En matemática, un grupo pro-finito "G" es un grupo que, en cierto modo, está muy "próximo" a ser finito.