Definition:Totally Ordered Group