Sin embargo, formula_2 no es un submonoide, ya el conjunto base de una subestructura debe ser cerrado respecto a todas las operaciones, lo que en nuestro caso no se cumple, ya que formula_2 no es cerrado respecto a la operación formula_15--aria que define al neutro 1 de formula_3.