有界函数是设f(x)是区间E上的函数,若对于任意的x属于E,存在常数m、M,使得m≤f(x)≤M,则称f(x)是区间E上的有界函数。其中m称为f(x)在区间E上的下界,M称为f(x)在区间E上的上界。有界函数并不一定是连续的。根据定义,ƒ在D上有上(下)界,则意味着值域ƒ(D)是一个有上(下)界的数集。根据确界原理,ƒ在定义域上有上(下)确界。一个特例是有界数列,其中X是所有自然数所组成的集合N。由ƒ (x)=sinx所定义的函数f:R→R是有界的。当x越来越接近-1或1时,函数的值就变得越来越大。