Remark

Both parts make a new permutation representation from the given one: G -> Sym(X).