Properties of Subtraction