Mulțime de elemente în care fiecărei perechi de elemente îi corespunde un element din aceeași mulțime, în care este adevărată asociativitatea oricare ar fi elementele mulțimii, în care există un element neutru și un element opus legii de compunere a mulțimii.
Algebraic set with an invertible, associative internal operation admitting a neutral element