Definition:Real Rational Function