grupoid

grupoid [germ.], neprázdná množina prvků s jednou binární operací. Tato operace se označuje často + (plus) a nazývá se pak sčítání, nebo . , resp. x (krát) a pak jde o násobení v g. Speciálním případem g. je grupa.