Semigrupo $ ( G, \circ) $

Un grupoide asociativo con elemento neutro $(i)$

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