Free, open-source online mathematics for students, teachers and workers

An action of a group $G$ on a set $X$ is a homomorphism from $G$ to $S_X$