An ordered ring is a ring equipped with a total order compatible with addition and multiplication. In the usual strict convention, 
implies 
, and 
and 
imply 
. In particular, a strictly ordered ring has no zero
divisors.
The integers with their usual order are an example. The omnific integers give a larger example inside the surreal numbers. Conway's refinement conjecture concerns multiplicative factorizations in this ordered ring.
