\begin{definition}[Definition:Free Group Action]
Let $G$ be a group with identity $e$ acting on a set $X$.
The group action is '''free''' {{iff}}:
:$\forall g \in G: \forall x \in X : g * x = x \implies g = e$
\end{definition}