Addition and subtraction

The properties which deal with addition and subtraction state:
For any real numbers, a, b, c:
If a > b, then a + c > b + c and a − c > b − c
If a < b, then a + c < b + c and a − c < b − c
i.e., the real numbers are an ordered group.