Se define la relación de orden total de los números decimales como