semigrupo m. mat. Nombre que se da a la estructura de un conjunto cuando se cumple la propiedad asociativa entre sus elementos.