====== BigObject ImplicitActionOnSets ======
//from application [[..:group|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

  ? derived from:
  : ''[[..:group:PermutationAction |PermutationAction]]''