Definition:Non-Negative Rational Number