https://www.glc.us.es/~jalonso/calculemus/si-r-es-un-anillo-ordenado-y-a-b-%e2%88%88-r-entonces-0-%e2%89%a4-b-a-%e2%86%92-a-%e2%89%a4-b/