Se dice entonces que una solución formula_1 es pareto-óptima cuando no existe otra solución formula_2 tal que mejore en un objetivo sin empeorar al menos uno de los otros.