Definition:Rational Multiplication