上界的定义：偏序集中大于或等于它的子集中一切元素的元素。上界是一个与偏序集有关的特殊元素。若数集S为实数集R的子集有上界，则显然它有无穷多个上界，而其中最小的一个上界常常具有重要的作用，称它为数......
