Después de definir la multiplicación, los números decimales forman un semianillo conmutativo positivo, totalmente ordenado.