Definition

Let be a group that acts on a set . An invariant function is a function such that