Respecto a dominios íntegros no unitarios, el conjunto formula_2 es un subanillo no unitario del dominio de integridad formula_3.