\begin{definition}[Definition:Saturation (Equivalence Relation)/Definition 2]
Let $\sim$ be an equivalence relation on a set $S$.
Let $T \subset S$ be a subset.
The '''saturation of $T$''' is the union of the equivalence classes of its elements:
:$\ds \overline T = \bigcup_{t \mathop \in T} \eqclass t \sim$
Category:Definitions/Equivalence Relations
\end{definition}