“上确界”的概念是数学分析中最基本的概念。考虑一个实数集合m.如果有一个实数s，使得m中任何数都不超过s,那么就称s是m的一个上界。

在所有那些上界中如果有一个最小的上界，就称为m的上确界。

一个有界数集有无数个上界和下界，但是上确界却只有一个。

在实数理论中最基本的一条公理就是所谓的上确界原理：“任何有上界的实数集合必存在上确界”。