Introducing the solution set to a linear inequality and determining whether an ordered pair lies in the solution set