A partition of a set is a set such that Given a finite set we define a Combinatorial Structure the set of partitions of into nonempty parts.