Category:Definitions/Well-Ordered Integral Domains