Grupoide $ (G, \circ)$

Un conjunto no vacío con una ley de composición interna se dice que tiene estructura de grupoide.

Si la LCI tiene la propiedad asociativa se dice que es un grupoide asociativo.
Prácticamente solo se le pide que exista una LCI bien definida en cada par de elementos dos a dos.