有下界的

如果一個集合存在下界，則稱該集合是有下界的。

考慮具有通常順序的實數。那麼對於任何集合 ，下確界 存在（在 中）當且僅當 是有下界的且非空。