定理　设$S$为非空数集，若$S$有上界，则$S$必有上确界；若$S$有下界，则$S$必有下确界。