设函数的定义域为，是的内点，则：

• 是，当且仅当存在某个邻域，使得该邻域内所有异于的点，都有：

• 是，当且仅当存在某个邻域，使得该邻域内所有异于的点，都有：

极大值和极小值都统称为，使得函数取得极值的点称为。