Permutation groups through invariant relations and invariant functions