In mathematics we often have statements like
a x <= b, where
b are constants and
x is a variable.
Now there may be variables satisfying the inequality (that is the statement is true) as well as variables violating it (in which case it's false).
However I don't have any words in my vocabulary to express stricter statements:
Is there a word to describe that the variable
x satisfies the equality
a x = b? What about the case that
a x < b?
I remember having read "
x is a root of the inequality" meaning
a x = b somewhere, but I can't remember where.