Definition:Functional/Real/Weak Extremum