Add partition-finite-set