Se dice que P es un máximo absoluto de f si, para todo x distinto de formula_6 perteneciente al subconjunto A, su imagen es menor o igual que la de formula_6.