恒成立是数学概念，是指当x在某一区间或者集合U内任意取值时，关于x的代数式f(x)总是满足大于等于或者小于0，我们把这种“总是满足”叫做恒成立。