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

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

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

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