Structure Algébrique

Un ensemble (ou une classe) muni d'opérations finies et de relations spécifiées — telles que opérations binaires, opérations unaires et éléments distingués — ainsi que des axiomes qu'elles satisfont ; ces données définissent l'objet algébrique étudié (par ex. groupe, anneau, treillis).