Para que (G,formula_6) pueda satisfacer la existencia de una estructura de monoide o de semigrupo con elemento neutro, debe satisfacer las siguientes propiedades: