Group Action of Symmetric Group/Subset

Theorem
Let $\N_n$ denote the set $\set {1, 2, \ldots, n}$.

Let $\struct {S_n, \circ}$ denote the symmetric group on $\N_n$.

Let $r \in \N: 0 < r \le n$.

Let $B_r$ denote the set of all subsets of $\N_n$ of cardinality $r$:
 * $B_r := \set {S \subseteq \N_n: \card S = r}$

Let $*$ be the mapping $*: S_n \times B_r \to B_r$ defined as:
 * $\forall \pi \in S_n, \forall S \in B_r: \pi * B_r = \pi \sqbrk S$

where $\pi \sqbrk S$ denotes the image of $S$ under $\pi$.

Then $*$ is a group action.

Proof
The group action axioms are investigated in turn.

Let $\pi, \rho \in S_n$.

Let $S \in B_r$.

Thus:

demonstrating that holds.

Then:

demonstrating that holds.