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. Um grupóide é um conjunto G dotado de uma operação binária para a qual vale a propriedade do fechamento: o elemento resultante da composição de a e b pertence a G é um elemento de G.
Conforme enriquecemos * com axiomas, temos:
- Semigrupo - se a operação é associativa