最小上界

設 是一個非空集合，包含具有上界的實數。那麼一個數字 被稱為 的最小上界（或上確界，記為 ），當且僅當它滿足以下性質

1. 對於所有 。

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