ADDED: Partitioning of a set.