Если a > b, то для любого числа с выполнено неравенство a + c > b + c.

Это свойство сохранения неравенства при сложении. Например, если 11 > 5, и мы прибавим -3 к обеим частям, то получится: 11 + (-3) > 5 + (-3), т.е. 8 > 2.