Estrictamente,un anillo ordenado es un anillo conmutativo formula_1 con un orden total formula_2 tal que