Category:Ordered Integral Domains