有上界

如果一個集合存在上界，則稱該集合有上界。

考慮具有通常順序的實數。那麼對於任何集合 ，上確界 存在（在 中）當且僅當 有上界且非空。