上确界
“上确界”的概念是数学分析中最基本的概念。 考虑一个实数集合M. 如果有一个实数S，使得M中任何数都不超过S,那么就称S是M的一个上界。
在所有那些上界中如果有一个最小的上界，就称为M的上确界。
一个有界数集有无数个上界和下界，但是上确界却只有一个。
上确界的数学定义
有界集合S，如果β满足以下条件
（1）对一切x∈S，有x≤β，即β是S的上界；
（2）对任意a＜β，存在x∈S，使得x＞a，即β又是S的最小上界，
则称β为集合S的上确界，记作β=supS （同理可知下确界的定义）
在实数理论中最基本的一条公理就是所谓的确界原理：“任何有上界(下界）的非空数集必存在上确界（下确界）”。