Определение . Область решения системы, удовлетворяющая условиям неотрицательности (xj ≥ 0, j = 1,n), называется областью неотрицательных, или допустимых, решений (ОДР).
Если система неравенств совместна, то ОР и ОДР могут быть многогранником, неограниченной многогранной областью или одной точкой. Если система неравенств несовместна, то ОР и ОДР — пустое множество.