Linear Inequalities and Linear Programming

Gives the solution interval for a linear modulus expression bounded from above.

Gives the solution set for a linear modulus expression bounded from below.

Gives the union of intervals satisfying a two-sided absolute value inequality.

States that the optimal value of a linear objective function occurs at a vertex of the feasible region.

States that if two corner points give the same optimal value, every point on their segment is optimal.