下確界（inf）是數學分析中的一個基本概念，它是基於下界的概念定義的。對於任意數集E，下確界是指E的最大下界，記作infE。這意味著E中的每個元素都大於或等於infE。下確界與上確界（supremum）相對，上確界是最小的上界，而下確界則是最大的下界。如果下確界稍微增大一點，它就不再是E的下界了。
例如，考慮集合E={x∣x>1}，這意味著E中的每個元素都大於1。在這種情況下，下確界是1，因為1是小於E中所有元素的最大的數。
下確界的概念是實數連續性的一種體現。根據確界原理，任何非空且有下界的集合必有下確界。這表明實數線上的點集具有最小的元素。