система уравнений, для которых существует система значений неизвестных, удовлетворяющая всем данным уравнениям.