PartitionSet::addSet -> HashSet::union