What is the definition of a system of linear inequalities?