Se dice que formula_4 es un máximo local de formula_5 si existe un entorno reducido de centro formula_6, en símbolos formula_7, donde para todo elemento formula_8 de formula_9 se cumple formula_10.