最小上界性

在数学中，最小上界性 (亦称上确界性，) 是实数集和其他一些有序集的基础属性，与实数的完备性等价
。  集合具有最小上界性当且仅当的任意具有上界的非空子集有最小上界 (上确界)。

参考文献

数学术语
公理
数学定理