Definition of Subtraction