域中，一个双变数光滑函数的嵴（或是称作为嵴集合）是所有至少在一个维度中是局部最大值的点所形成的曲线的集合，就如同地理上山嵴的概念。而一个formula_1变数函数的嵴，是所有在formula_2个维度中是局部最大值的点所形成的曲线的集合。嵴可以看作是局部最大值的延伸。相对的，一个函数的谷可以以类似的方式定义，只要以局部最小值取代嵴定义中的局部最大值的部份。嵴集合与谷集合表现了一个函数直觉上的几何资讯，因此可以提供一种对于函数特征的简洁呈现。图像分析及电脑视觉为了获得相片中物件延伸特性的资讯，利用了嵴集合