En mathématiques, une structure algébrique est définie axiomatiquement par une ou plusieurs opérations sur un ensemble, éventuellement muni d’autres opérations dépendant d’autres ensembles, toutes ces opérations satisfaisant certaines relations telles que l’associativité, la commutativité ou la distributivité. Wikipedia