设数集S,记U为S的上界全体所组成的集合,则U中一定有一个最小数,设最小数为贝塔,贝塔即为数集S的上确界,记为贝塔=sup S
设数集S,记L为S的下界全体所组成的集合,则L中一定有一个最大数,设最大数为阿尔法,贝阿尔法即为数集S的下确界,记为贝阿尔法=inf S
（阿尔法,贝塔写成字母就行,打出来太不方便了,请原谅……）
定义来自高等教育出版社的数学分析