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