Operad Simétrico

Un operad provisto para cada aridad n de una acción compatible del grupo simétrico S_n sobre el conjunto (o espacio) de operaciones n‑arias, de modo que las operaciones se definen hasta permutación de las entradas y las composiciones respetan dichas acciones.