A一个数集，若有上界必有无穷多个上界B一个数集的上确界是该数集的最小上界C一个数集的上确界一定比这个集合中的任何元素都大D一个数集的上确界若存在必唯一