Igualmente, si solo nos olvidamos de los inversos, obtenemos un monoide subyacente.