Definition of Partition