Definition:Absolute Value on Ordered Integral Domain