To get from line 1 to line 2, 3 was subtracted from both sides of the inequality. The "subtraction property of order" says you can do that without changing the order or the solution.
It should not be a surprise that when subtraction is involved, the associated property has "subtraction" in its name.
