Equivalence of Definitions of Saturated Set 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 saturated set are equivalent:

1 implies 2
Let $T = \overline T$.

By definition of saturation, $T=\displaystyle\bigcup_{t\in T} \left[\!\left[{t}\right]\!\right]$, so we can take $U=T$.

1 implies 3
Let $T = \overline T$.

By definition of saturation, $T=q^{-1}(q(T))$, so we can take $V=q(T)$.

3 implies 1
Let $T = q^{-1}(V)$ with $V\subset S/\sim$.

By Quotient Mapping is Surjection and Image of Preimage of Subset under Surjection equals Subset, $q(q^{-1}(V)) = V$.

Thus:
 * $q^{-1}(q(T)) = q^{-1}(q(q^{-1}(V))) = q^{-1}(V) = T$

Thus $T$ equals its saturation.