Определение. Система называется совместной, если она имеет хотя бы одно решение, и несовместной в противном случае.