设数集S，记U为S的上界全体所组成的集合，则U中一定有一个最小数。

设最小数为贝塔，贝塔即为数集S的上确界，记为贝塔=sup S设数集S。

记L为S的下界全体所组成的集合，则L中一定有一个最大数，设最大数为阿尔法。

贝阿尔法即为数集S的下确界，记为贝阿尔法=inf S（阿尔法，贝塔写成字母就行。

打出来太不方便了，请原谅……）定义来自高等教育出版社的数学分析。