gruppoide
gruppòide [Der. di gruppo, con il suff. -oide] [ALG] Insieme G di elementi nel quale è definita un'operazione di composizione per coppie di elementi, ma non necessariamente per tutte le coppie (se accade ciò, si parla di semigruppo: v. algebra: I 91 c), cioè una legge che a una coppia a e b di elementi di G associ un elemento ben determinato di G, indicato come ab e chiamato prodotto. ◆ [ALG] G. associativo, o pseudogruppo o quasi gruppo: un g. il cui prodotto goda della proprietà associativa: (ab)c=a(bc) essendo a, b, c tre suoi elementi qualunque.