combinatorial species

endofunctor on the category of finite sets and bijections, which can be used to analyse discrete structures in terms of generating functions