100. Convexity and Inequality

Linear inequality implies linearity and order. When combined, the two produce an ordered vector space. Each linear inequality in the simplest environment of the sort is some half-space. Simultaneity implies many instances and so leads to the intersections of half-spaces. These yield polyhedra as well as arbitrary convex sets, identifying the theory of linear inequalities with convexity.