Addition properties and subtraction rules