最大下界

在數學中 ， 某個集合 X 的子集 E 的下確界 ( infimum 或 infima ， 記爲 inf E ) 是小於或等於的 E 所有其他元素的最大元素 ， 其不一定在 E 內 。 所以還常用術語最大下界 （ 簡寫爲 glb 或 GLB ） 。 在數學分析中 ， 實數的下確界是非常重要的常見特殊情況 。 但這個定義 ， 在更加抽象的序理論的任意偏序集合中 ， 仍是有效的 。 下確界是上確界概念的對偶 。