Систему називають сумісною, якщо вона має хоча б один розв'язок, і несумісною, якщо у неї немає жодного розв'язку. Розв'язки c1(1), c2(1), …, cn(1) та c1(2), c2(2), …, cn(2) сумісної системи називають різними, якщо порушується хоча б одна з рівностей: