上确界（supremum）

上确界（supremum）是实数集合中的一个概念，它表示集合的上界中的最小值。换句话说，如果存在一个数，它是集合中的上界并且不比任何其他上界小，那么这个数就是这个集合的上确界。

形式上，对于实数集合 (A)，如果存在一个实数 (s) 满足以下两个条件：

1. 对于集合中的每个元素 (a)，都有 (a $\le$ s)，即 (s) 是集合的上界。
2. 对于任何小于 (s) 的实数 (x)，存在集合中的元素 (a) 使得 (a > x)，即 (s) 是所有上界中最小的一个。

那么，(s) 就是集合 (A) 的上确界。上确界不一定属于集合，但它是集合中所有上界中最小的一个。

上确界在数学分析、实分析以及集合论等领域中经常用于描述和证明。