Definition:Positive Rational Number