Algebra, Sub-sub-category: Linear Inequalities