Category:Well-Ordered Integral Domains