在数学中，某个集合的子集的下确界(infimum, Infima)是小于或等于这个子集的所有其他元素的不一定在这个子集内的最大元素。所以还常用术语最大下界(简写为 glb 或 GLB)。在数学分析中实数的下确界是非常重要的常见特殊情况。但一般定义在更加抽象的序理论的任意偏序集合中仍是有效的。

在数学中，某个集合的子集的下确界(infimum, Infima)是小于或等于这个子集的所有其他元素的不一定在这个子集内的最大元素。所以还常用术语最大下界(简写为 glb 或 GLB)。在数学分析中实数的下确界是非常重要的常见特殊情况。但一般定义在更加抽象的序理论的任意偏序集合中仍是有效的。