partially ordered ring

ring with a compatible partial order relation