Пусть даны два уравнения f1(x,y) = g1(x,y). Система уравнений представляет собой конъюнкцию этих уравнений. Записывают систему так:
Решением этой системы является любая пара чисел (a;b), обращающая каждое из уравнений системы в верное числовое равенство. Множество таких пар есть пересечение множества решений первого уравнения с множеством решений второго.
Поиск решения осуществляется преобразованиями уравнений системы, при которых множество ее решений не изменяется. Система, получаемая в результате таких преобразований, и исходная система называются равносильными.
Равносильную систему можно получить, если: 1) Каждое из уравнений системы заменить на равносильное ему уравнение; 2) одно из уравнений системы заменить на сумму, разность, произведение или частное двух уравнений:
Û Û
Û Û