identity+group symmetric+group alternating+group dihedral+group cyclic+group arbitrary+group
symmetric+group alternating+group dihedral+group cyclic+group arbitrary+group
alternating+group dihedral+group cyclic+group arbitrary+group
dihedral+group cyclic+group arbitrary+group
cyclic+group arbitrary+group
arbitrary+group
points pairs inj.+pairs k-tuples inj.+k-tuples 2-sets k-sets powerset
pairs inj.+pairs k-tuples inj.+k-tuples 2-sets k-sets powerset
inj.+pairs k-tuples inj.+k-tuples 2-sets k-sets powerset
k-tuples inj.+k-tuples 2-sets k-sets powerset
inj.+k-tuples 2-sets k-sets powerset
2-sets k-sets powerset
k-sets powerset
powerset
k=