Def/Ordered ring 1