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