ordered ring

ring with a compatible total order