A system of linear inequalities