有界函數是設f(x)是區間E上的函數，若對於任意的x屬於E，存在常數m、M，使得m≤f(x)≤M，則稱f(x)是區間E上的有界函數。其中m稱為f(x)在區間E上的下界，M稱為f(x