Let be a Combinatorial Structure. We define where is the Combinatorial Derivative. Lemma This is naturally isomorphic to Proof As , and consists of and we can effectively replace with . More precisely, for any we can find a natural bijection defined by: