Definition:Saturated Set (Equivalence Relation)/Definition 2

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

Let $T\subset S$ be a subset.

$T$ is saturated it is a union of equivalence classes:


 * $\ds \exists U \subset S : T = \bigcup_{u \mathop \in U} \eqclass u {}$