Grupóide (estrutura algébrica)
Origem: Wikipédia, a enciclopédia livre.
Um grupóide possui apenas a propriedade fechada, ou seja, é um par (G,*) em que G é um conjunto e *: G x G -> G é uma operação binária.
Conforme enriquecemos * com axiomas, temos:
- Semigrupo - se a operação é associativa