Un monoide es una estructura algebraica de la forma $(A,\ast)$ en que su operación interna $\ast$ dispone de un elemento neutro. #Rev/2602 #Tipo/Definición