Definition:Saturation (Group Action)/Definition 1

Definition

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.