什么是确界原理

确界原理（ supremum and infimum principle ）是刻画实数完备性的命题之一。设S为非空数集。若S有上界，则S必有上确界若S有下界，则S必有下确界。确界定义上界和下界设实数集S非空。