invariant function

Definition

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