Definition:Group Action/Also defined as

Group Action: Also defined as

A (left) group action is sometimes defined as what on $\mathsf{Pr} \infty \mathsf{fWiki}$ is called a permutation representation.

As shown in Correspondence Between Group Actions and Permutation Representations, there is a one-to-one correspondence between the two.