En álgebra abstracta, un anillo ordenado es una clase de anillo que cumple una relación binaria de orden total. Los anillos ordenados son estructuras algebraicas propias de los conjuntos de números más comunes. Algunos ejemplos incluyen los enteros, los racionales y los reales. (Los racionales y los reales son, de hecho, cuerpos ordenados). Por otro lado, los números complejos no forman un anillo ordenado (o cuerpo).