El objetivo es reducir el sistema a otro equivalente, que tenga las mismas soluciones.