Operad
In mathematics, an operad is a structure that consists of abstract operations, each one having a fixed finite number of inputs (arguments) and one output, as well as a specification of how to compose these operations. Given an operad O {\displaystyle O} , one defines an algebra over O {\displaystyle O} to be a set together with concrete operations on this set that behave just like the abstract operations of O {\displaystyle O} .