What properties are expressed in these equations?

a=b
a + [c + (-c)] = b + [c + (-c)]

Also, would the property expressed in -a=-b be the substitution property of equality?