Title: Permutation groups through invariant relations and invariant functions