I found the following on Wikipedia, on the page for Inequalities:
If $a<b$ and $c<d$ then $a+c < b+d$.
It references Intermediate Algebra, but I don't see this specific property there.
Is there a name for this particular property? Is there a proof for this property from the other properties?