Definition:Rational Subtraction