9.1 Linear In-equations definition