“下确界”是数学分析中的基本概念，它是在“下界”的基础上定义的。任给一数集E，我们称E的最大下界为E的下确界，记为infE. 显然，E中每个元素均大于或等于infE.