Equivalence of Definitions of Saturation Under Group Action

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

Let $S\subset X$ be a subset.

The following definitions of its saturation are equivalent:

Proof
Let $x\in X$.

We have: