Два неравенства f(x)>g(x) и r(x)>s(x) называют равносильными, если они имеют одинаковые решения, или в частности — если оба неравенства не имеют решений.
х^2 ≥ x:
множество решений x ∈ (-∞; 0] ∪ [1; ∞),
х ≥ 1:
множество решений x ∈ [1; ∞).
Неравенства х^2 ≥ x и х ≥ 1 не являются равносильными, так как множества решений этих неравенств не равны.