En esencia, un monoide es un semigrupo con elemento neutro.