Definition:Real Subtraction