Category:Integers form Ordered Integral Domain