Let be a combinatorial structure of interest, say permutations, derangements, number of fixed points et al. Let be the EGF for sequence which is the number of combinatorial structures in set For example, if , permutations then . For , the number of ways to divide the set into singletons, trivially and . Say denotes partition into pairs, then for odd. For , choose a pair for and then pair the remaining points. So and hence . So
If a structure can be uniquely split into a structure and structure then we say . In this case
Consider . Every permutation is uniquely decomposed into a fixed points (i.e., singletons) and a derangement. So,
and hence
Let denote partition into pairs and singletons. Then