Magma (matemática): diferenças entre revisões

Um '''grupóide''' possui apenas a [[propriedade fechadado [[fechamento]], 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: