Symmetrischer Operad
Definition
Ein Operad, das für jede Arität n eine verträgliche Wirkung der symmetrischen Gruppe S_n auf der Menge (oder dem Raum) der n‑stelligen Operationen trägt, so dass Operationen bis auf Permutation der Eingaben definiert sind und die Kompositionsabbildungen diese Permutationswirkungen respektieren.