\begin{definition}[Definition:Fixed Element of Permutation]
Let $S$ be a set.
Let $\pi: S \to S$ be a permutation on $S$.
Let $x \in S$.
$x$ is '''fixed by $\pi$''' {{iff}}:
:$\map \pi x = x$
\end{definition}