Definition:Rational Addition