有界性是指函式在定義域上的值有一個上界和下界。 具體來說，若存在兩個常數m和M，使得對於定義域內的所有x，都有m≤f(x)≤M成立，則函式f(x)在定義域D上有界，其中m是下界，M是上界。換句話說，有界性確保了函式值在定義域的一個確定範圍內變動。