docoo
Semigrupo $ ( G, \circ) $
Un grupoide asociativo con elemento neutro $(i)$

Grupoide implica tener una LCI bien definida en los elementos dos a dos.

--