Definition:Saturation (Group Action)/Definition 2

Definition
Let $G$ be a group acting on a set $X$.

Let $S\subset X$ be a subset.

The saturation of $S$ is the union of its images under the group action:
 * $\overline S = \displaystyle\bigcup_{g\in G} gS$