Определение. Решением системы называется совокупность из n чисел с₁, с₂, …, с_n, при подстановке которой в систему вместо неизвестных будет получено m числовых тождеств.