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

 

Formálisan tehát grupoid egy <math> G = \left( U , * \right) </math> [[rendezett pár|pár]], ahol <math> U </math> tetszőleges halmaz, és <math> * : U \times U \mapsto U </math> egy kétváltozós művelet. A <math> *(a,b) \in U </math> elemet általában <math> a*b </math> -vel jelöljük ''(infix'' jelölésmód, egyéb lehetőségekről ld. a [[bináris művelet]] szócikket).