Por lo tanto, los grupos libres en un conjunto "S" quedan completamente caracterizados, módulo isomorfismo, por la condición requerida en la definición.