Definition:Rational Division