Definition:Reduced Rational Number