Grupóide (teoria das categorias)
Origem: Wikipédia, a enciclopédia livre.
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.