„Grupoid” változatai közötti eltérés

Két (A,*) és (B,×) grupoid '''''homomorf''''', ha létezik köztük egy művelettartó leképezés, azaz olyan f:A→B függvény, melyre érvényes tetszőleges a,b ∈ A -ra f(a*b) = f(a)×f(b). Ez esetben a grupoidokat homomorfnak, magát a függvényt [[homomorfizmus]]nak nevezzük. A [[homomorfia]] egy [[előrendezési reláció]] grupoidok egy tetszőleges halmaza felett. Ugyanakkor általában nem ''szimmetrikus'' (így nem [[ekvivalenciareláció]]) és nem is [[antiszimmetrikus]] (így nem [[rendezési reláció]]).