最大下界

設 是一個具有 下界 的 非空集合 實數。如果一個數 滿足以下性質，則稱其為 的最大下界（或下確界，記為 ） 當且僅當 它滿足以下性質

1. 對於所有 ，。

2. 對於所有實數 ，如果 是 的 下界，則 。