grupoid

grupoid [germánske jazyky > tal. > fr. > nem.] — množina \(M\) s binárnou operáciou \(\circ\), t. j. množina \(M\), v ktorej je ku každej usporiadanej dvojici prvkov \((a, b)\) jednoznačne priradený prvok \(c\in M\) nazývaný zloženie alebo kompozícia prvkov \(a, b\) v uvedenom poradí a označovaný obvykle \(c = a\circ b\).