\begin{definition}[Definition:Saturation (Group Action)/Definition 1]
Let $G$ be a group acting on a set $X$.
Let $S\subset X$ be a subset.
The '''saturation of $S$''' is its saturation by the equivalence relation induced by the action.
Category:Definitions/Group Actions
\end{definition}