What, if anything, is necessarily true inequalities called?

[arildno]

An equality that is true for all members of a specified set is generally called an "identity" (for example x+x=2x is, say, an identity wrt the set of real numbers).

But do inequalities that are true for all members of a specified set have an established name?
(An inequality of that kind would be x^{2}+1\geq{0} for real x).

 

[poutsos.A]

Yes, identinequalities;;;perhaps not found in English bibliography