Es sei M {\displaystyle {}M} eine Menge und
eine Funktion. Man sagt, dass f {\displaystyle {}f} in einem Punkt x ∈ M {\displaystyle {}x\in M} das Maximum annimmt, wenn