A system of inequalities is a collection of inequalities in the same variables that must all hold simultaneously. Its solution set is the intersection of the solution sets of the individual inequalities.
A system of linear inequalities in variables can be written
where the inequality is interpreted componentwise. Each row determines a half-space, so the resulting feasible region is a convex polyhedron. A nonlinear system of inequalities need not have a convex or connected solution set.
Systems of inequalities can be reduced symbolically in the Wolfram Language using Reduce[ineqs, vars].