Definition:Totally Ordered Ring