C'est un ensemble muni d'une loi de composition interne associative et d'un élément neutre.