Equivalence of Definitions of Saturation Under Equivalence Relation

Theorem
Let $\sim$ be an equivalence relation on a set $S$.

Let $T\subset S$ be a subset.

The following definitions of its saturation are equivalent: