如果一个集合存在上界，则称该集合有上界。
考虑具有通常顺序的实数。那么对于任何集合 
，上确界 
存在（在 
中）当且仅当 
有上界且非空。
有上界
另请参阅
有下界, 最小上界, 上确界, 上界此条目由 Roland Uhl 贡献。
使用 Wolfram|Alpha 探索
请引用为
Uhl, Roland. "有上界。" 来自 MathWorld--Wolfram Web 资源，由 Eric W. Weisstein 创建。 https://mathworld.net.cn/BoundedfromAbove.html