gruppoide
gruppòide s. m. [comp. di gruppo e -oide]. – In algebra, insieme di elementi nel quale è definita una legge di composizione binaria che si può chiamare moltiplicazione o prodotto (se tale legge è associativa ed è definita su tutte le coppie di elementi, allora si parla di semigruppo). G. associativo, lo stesso che pseudogruppo.