Definition:Partition Space