又称为上确界原理，是实分析的公理。之所以称为公理，是因为它在实分析的公理系统里，不能被除了它本身以外的公理所证明。这个公理声称如果实数的非空子集有上界，则它有最小上界。

最小上界公理也可以由其它等价命题所取代，此时最小上界公理改称为最小上界原理。这些等价命题包括 ：

最大下界原理：即下确界原理。与最小上界原理合称确界原理。