Partition of a set