Puede comprobarse que el conjunto formula_20, junto con estas operaciones, satisface todas las propiedades de un campo con excepción del producto que no es conmutativo.