Уравнения называются равносильными на множестве \(M\), если множества их корней, принадлежащих \(M\), совпадают. Это шире обычной равносильности: уравнения могут быть равносильны на одном \(M\) и не равносильны на другом.