Определение. Говорят, что неравенство f(x)∨g(x) равносильно неравенству f1(x)∨g1(x), если множества их решений совпадают.
Опираясь на простейшие свойства порядка из предыдущей статьи, легко доказать следующую теорему.
Теорема о равносильных преобразованиях неравенств. Дано неравенство f(x)∨g(x). Ему равносильны следующие неравенства