恒成立是数学概念，是指当x在某一区间或者集合U内任意取值时，关于x的代数式f(x)总是满足大于等于或者小于0，我们把这种“总是满足”叫做恒成立。单调区间是指函数在某一区间内的函数值y，随自变量x的值增大而增大（或减小）恒成立。若函数y=f(x)在某个区间是增函数或减函数，则就说函数在这一区间具有（严格的）单调性，这一区间叫做函数的单调区间。此时也说函数是这一区间上的单调函数。