from application group derived object encoding an action of a permutation group on a collection of sets, but where only one representative of each orbit is stored explicitly
PermutationAction