Opérade Symétrique

Un opérade muni, pour chaque entier n, d'une action compatible du groupe symétrique S_n sur l'ensemble (ou l'espace) des opérations n‑aires, de sorte que les opérations soient définies à permuation d'arguments près et que les lois de composition respectent ces actions de permutation.