下极限函数是为判断函数下半连续性而引进的一个概念。设f(x)是定义在点集E上的扩充实值函数，若在闭包E内的点x的δ邻域与E的交内，函数f所取的值的下确界为m(x)，则m(x,δ)在δ趋于0时的极限称为f(x)沿E的下极限函数。