\begin{definition}[Definition:Saturated Set (Equivalence Relation)/Definition 1]
Let $\sim$ be an equivalence relation on a set $S$.
Let $T \subset S$ be a subset.
$T$ is '''saturated''' {{iff}} it equals its saturation:
:$T = \overline T$
Category:Definitions/Equivalence Relations
\end{definition}