Considere o problema de otimização bicritério irrestrito: minimizar !$ F(x) = (f_1(x) !$, !$ f_2(x)) !$ sujeito a !$ x \, ∈ \, R^n !$, onde !$ f_i:R^n \rightarrow R\ !$, !$ i=1,2 !$. Um ponto eficiente para F em !$ R^n !$ é um ponto !$ x^* ∈ \, R^n !$ tal que não existe !$ x \, ∈ R^n !$ com !$ F(x) \le F(x^*) !$ e !$ F(x)≠F(x^*) !$. Para F continuamente diferenciável, a condição de otimalidade de primeira ordem é dada por