Category:Rational Numbers form Ordered Integral Domain