Permutative Renamings in the Extended Fraenkel-Mostowski Set Theory