In algebra, gruppo G di elementi nel quale è definita un'operazione di composizione, cioè una legge che a ogni coppia a, b di elementi G associ un elemento ben determinato di G, da indicarsi con ab, e che si può chiamare prodotto (PT)

Insiemi A dotati di un'operazione binaria interna rispetto alla quale sono chiusi