什麼是最小上界

又稱為上確界原理，是實分析的公理。之所以稱為公理，是因為它在實分析的公理系統裡，不能被除了它本身以外的公理所證明。這個公理聲稱如果實數的非空子集有上界，則它有最小上界。

最小上界公理也可以由其它等價命題所取代，此時最小上界公理改稱為最小上界原理。這些等價命題包括 ：

最大下界原理：即下確界原理。與最小上界原理合稱確界原理。