Une fonction f définie dans un sous-ensemble E de nombres réels admet un maximum M en un point a de E si M = f(a) et si, quel que soit x de E, f(x) est inférieur ou égal à f(a). On dit alors que M est le maximum de l'ensemble des images de f.
On dit alors que M est le maximum de l'ensemble des images de f.