Grupoide (teoria das categorias)

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa

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.