Definition:Saturation (Equivalence Relation)/Definition 3

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

Let $T\subset S$ be a subset.

The saturation of $T$ is the preimage of its image under the quotient mapping:


 * $\overline T = q^{-1}(q(T))$