Definition:Saturated Set (Equivalence Relation)

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

Let $T\subset S$ be a subset.

Also see

 * Equivalence of Definitions of Saturated Set Under Equivalence Relation
 * Definition:Saturated Set (Group Action)