Definition:Saturation (Equivalence Relation)/Definition 2

Definition
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:


 * $\displaystyle\overline T = \bigcup_{t\in T}\left[\!\left[{t}\right]\!\right]$